E-Books - Software Engineering

Model Checking Software

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Price for Eshop: 2239 Kč (€ 89.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Essential Business Process Modeling

Price for Eshop: 1003 Kč (€ 40.1)

Format: E-Book, Publisher: O'Reilly Media

Availability: E-book delivered electronically online

Essential Business Process Modeling

Price for Eshop: 933 Kč (€ 37.3)

Format: E-Book, Publisher: O'Reilly Media

Availability: E-book delivered electronically online

Certified Programs and Proofs

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Advances in Electronics and Electron Physics

Price for Eshop: 1520 Kč (€ 60.8)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Advances in Electronics and Electron Physics

Price for Eshop: 1520 Kč (€ 60.8)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online