E-Books - Programming & scripting languages: general

Critical 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

Web Services and Formal Methods

9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Methods - The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Pascal mit der Turtle

Einfuhrung in die Anwendung von UCSD-Pascal

Price for Eshop: 1042 Kč (€ 41.7)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online

Database Programming Languages (DBPL-4)

Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August-1 September 1993

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Pro CDI 2 in Java EE 8

An In-Depth Guide to Context and Dependency Injection

Price for Eshop: 1408 Kč (€ 56.3)

Format: E-Book, Publisher: Apress

Availability: E-book delivered electronically online

Foundational Python for Data Science

Price for Eshop: 950 Kč (€ 38.0)

Format: E-Book, Publisher: Pearson Education

Availability: E-book delivered electronically online

Foundational Python for Data Science

Price for Eshop: 950 Kč (€ 38.0)

Format: E-Book, Publisher: Pearson Education

Availability: E-book delivered electronically online