E-Books - Computer programming / software development

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Formal Methods and Software Engineering

14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Software Composition

10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

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

Logics 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

Recent 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

Programmverifikation

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

Verification 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

Verification 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