Browse books
E-Books - Programming & scripting languages: general
Quality of Software Architectures Models and Architectures
4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationFormal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 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 InformationFormal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Price for Eshop: 1126 Kč (€ 45.0)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationSmalltalk Best Practice Patterns
Price for Eshop: 1117 Kč (€ 44.7)
Format: E-Book, Publisher: Pearson Education
Availability: E-book delivered electronically online
Add to Cart InformationImplementation Patterns
Price for Eshop: 924 Kč (€ 37.0)
Format: E-Book, Publisher: Pearson Education
Availability: E-book delivered electronically online
Add to Cart InformationImplementation Patterns
Price for Eshop: 924 Kč (€ 37.0)
Format: E-Book, Publisher: Pearson Education
Availability: E-book delivered electronically online
Add to Cart InformationSmalltalk Best Practice Patterns
Price for Eshop: 1241 Kč (€ 49.6)
Format: E-Book, Publisher: Pearson Education
Availability: E-book delivered electronically online
Add to Cart InformationCoder's Path to Wealth and Independence
Price for Eshop: 929 Kč (€ 37.2)
Format: E-Book, Publisher: Apress
Availability: E-book delivered electronically online
Add to Cart InformationFrom Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationCritical Systems: Formal Methods and Automated Verification
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 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 Information