Browse books
E-Books - Programming & scripting languages: general
Deductive Software Verification - The KeY Book
From Theory to Practice
Price for Eshop: 3084 Kč (€ 123.4)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationIntegrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationTests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationBeauty of Functional Code
Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationFormal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationTests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationInstruction Level Parallelism
Price for Eshop: 1549 Kč (€ 62.0)
Format: E-Book, Publisher: Springer US
Availability: E-book delivered electronically online
Add to Cart InformationFortran Programs for Chemical Process Design, Analysis, and Simulation
Price for Eshop: 1239 Kč (€ 49.6)
Format: E-Book, Publisher: Elsevier Science
Availability: E-book delivered electronically online
Add to Cart InformationModeling and Using Context
Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationSoftware Engineering: Specification, Implementation, Verification
Price for Eshop: 1689 Kč (€ 67.6)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information