Browse books
E-Books - Computer programming / software development
Verification of Sequential and Concurrent Programs
Price for Eshop: 1971 Kč (€ 78.8)
Format: E-Book, Publisher: Springer London
Availability: E-book delivered electronically online
Add to Cart InformationLogics and Models of Concurrent Systems
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationRecent Advances in Constraints
Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationVerification of Sequential and Concurrent Programs
Price for Eshop: 2028 Kč (€ 81.1)
Format: E-Book, Publisher: Springer New York
Availability: E-book delivered electronically online
Add to Cart InformationProgrammverifikation
Sequentielle, parallele und verteilte Programme
Price for Eshop: 704 Kč (€ 28.2)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationVerification of Sequential and Concurrent Programs
Price for Eshop: 2028 Kč (€ 81.1)
Format: E-Book, Publisher: Springer New York
Availability: E-book delivered electronically online
Add to Cart InformationConstraint Logic Programming using Eclipse
Price for Eshop: 2084 Kč (€ 83.4)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationFormal Aspects of Component Software
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationFundamentals of Software Engineering
5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationAutomata, Languages and Programming
34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart Information