Hardback
Not available for sale
Out of stock
Selected papers from the Marktoberdorf Summer School. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems are discussed in detail. Thirteen contributions also address: constructive logic and type theory; design calculi; and specification, construction and verifica
| ISBN: | 9780387513690 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| DEWEY: | 004 |
| Language: | English |
| Number of pages: | 478 |
| Weight: | 417g |
| Height: | 155mm |
| Width: | 233mm |
| Spine width: | 15mm |
$23.42off
Behavioral Data Analysis With R...
Paperback
Published 29 Jun 2021
Save $23.42
$5.97off
R for Data Science
Paperback
Published 20 Jan 2017
Save $5.97
$3.41off
The Ascent of Information
Hardback
Published 15 Jun 2021
Save $3.41
$6.47off
Practical A/B Testing
Paperback
Published 27 Aug 2024
Save $6.47
$17.48off
Veridical Data Science
Hardback
Published 07 Oct 2024
Save $17.48
$36.94off
Big Data, Data Mining and Data ...
Hardback
Published 30 Dec 2024
Save $36.94
Queer Data Studies
Hardback
Published 31 Jan 2024
$19.01off
Hands-on MySQL Administration
Paperback
Published 12 Jul 2024
Save $19.01
Queer Data Studies
Paperback
Published 31 Jan 2024
$19.60off
Modern Data Analytics in Excel
Paperback
Published 10 May 2024
Save $19.60