Browse books
E-Books - Software Engineering
Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationInteractive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 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 InformationObject-Oriented Programming
with Prototypes
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationIntroduction to Programming with Modula-2
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationFields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationVerified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationStatic Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationInteractive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationHybrid Metaheuristics
7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationReliable Software Technologies - Ada-Europe 2017
22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Price for Eshop: 1408 Kč (€ 56.3)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information