Games
Apps
Books
Kids
google_logo Play
Games
Apps
Books
Kids
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
Play Pass
Personalization in Play
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Books
Kids
Similar ebooks
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
€98.09
€68.66
Crafting Interpreters
€36.96
Compiler Design
€1.70
Process Design for Natural Scientists: An Agile Model-Driven Approach
€54.49
€38.14
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
€54.49
€38.14
Xamarin Mobile Application Development: Cross-Platform C# and Xamarin.Forms Fundamentals
€91.67
€64.17
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
€54.49
€38.14
C++ Quick Syntax Reference
€14.16
€9.63
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
€54.49
€38.14
Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops
€0
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
€54.49
€38.14
Practical TLA+: Planning Driven Development
€47.87
€33.51
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V
€54.49
€38.14
Object-Oriented Programming and Java: Edition 2
€54.49
€38.14
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
€54.49
€38.14
Beginning C for Arduino, Second Edition: Learn C Programming for the Arduino, Edition 2
€68.24
€47.77
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
€54.49
€38.14
Pro TBB: C++ Parallel Programming with Threading Building Blocks
€0
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
€152.59
€106.81
Exploring C++: The Programmer's Introduction to C++
€53.98
€37.79