Similar ebooks
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Crafting Interpreters
€36.96
Foundations of Intelligent Systems: 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings
Formal Methods for Industrial Critical Systems: A Survey of Applications
€82.99
Compiler Design
€1.69
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals
Formal Methods for Open Object-based Distributed Systems: Volume 2
C++ Quick Syntax Reference
Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops
€0
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
Book 55
Practical TLA+: Planning Driven Development
Object-Oriented Programming and Java: Edition 2
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Beginning C for Arduino, Second Edition: Learn C Programming for the Arduino, Edition 2
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
Pro TBB: C++ Parallel Programming with Threading Building Blocks
€0
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Exploring C++: The Programmer's Introduction to C++