Passer au contenu principal Passer au contenu du pied de page

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Édition : Wolfgang Ahrendt

17 juillet 2022

108,99 $ ~~Réduction sur le prix courant 135,87 $ à~~

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer International Publishing

ISBN: 9783031081668

Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, June 20-23, 2022, Revised Selected Papers

Aurora González-Vidal Couverture souple
131,50 $
2 formats offerts
Flutter for Jobseekers: Learn Flutter and take your cross-platform app development skills to the next level (English Edition)

Hans Kokx Livre numérique Kobo
21,99 $ ~~Réduction sur le prix courant 27,33 $ à~~
100 Questions And Answers To Help You Land Your Dream Ios Job: Or To Hire The Right Candidate!

Enrique López Ma Couverture souple
43,95 $
2 formats offerts
iPhone 12 Pro Max User Guide: The Complete Manual Unfolding Deep Pictures, Illustrating The Potential Tips And Tricks To Master And Navigate The New iPhone 12 Pro Max For iOS 14 And Actual Screenshot

West Liberty Couverture souple
16,50 $
Ace the Coding Interview: Must-know Questions

X Y Wang Couverture souple
25,95 $
Hacking For Beginners: Everything You Need To Know To Become An Elite Hacker

Dexter Silverstein Couverture souple
13,50 $
Summary of Scott E. Page's The Model Thinker

Everest Media Livre numérique Kobo
3,99 $
Model Checking, Synthesis, And Learning: Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday

Ernst-Rüdiger Olderog Couverture souple
102,50 $
2 formats offerts
ASP.NET Core 5 and Angular: Full-stack web development with .NET 5 and Angular 11, 4th Edition

Valerio De Sanctis Livre numérique Kobo
64,99 $ ~~Réduction sur le prix courant 80,80 $ à~~
Electronic Music and Sound Design - Theory and Practice with Max 8 - volume 3

Alessandro Cipriani Couverture souple
76,95 $
Raku One-Liners: Getting the most of Raku's expressive syntax for your daily routines

Andrew Shitov Couverture souple
15,95 $
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Jonathan P. Bowen Couverture souple
116,95 $
2 formats offerts
Flutter and Dart: Up and Running: Build native apps for both iOS and Android using a single codebase (English Edition)

Dr. Deepti Chopra Livre numérique Kobo
16,99 $ ~~Réduction sur le prix courant 20,48 $ à~~
Pattern Recognition and Machine Vision- In Honor and Memory of Late Prof. King-Sun Fu

Patrick Shen-pei Wang Couverture souple
86,95 $
Beginning DevOps with Docker: Automate the deployment of your environment with the power of the Docker toolchain

Joseph Muli Couverture souple
19,99 $
2 formats offerts
Computational Geometry: XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcala de Henares, Spain, June 27-30, 2011, Revised Selected Papers

Alberto Márquez Couverture souple
72,95 $
Apache Kafka: 100 Interview Questions

X Y Wang Couverture souple
19,50 $
Python for Beginners: Hands-On Project to Give Crushing Blow to Fake Programming Heroes. Tips for the World of Hackers, Ethical Hacking, Learn Coding and Master it, Computer Revolution, Cybersecurity

Mik Arduino Couverture souple
22,95 $
Evolutionary Design and Manufacture: Selected Papers from Acdm '00

Couverture souple
142,95 $
Write Great Code, Volume 2, 2nd Edition: Thinking Low-level, Writing High-level

Randall Hyde Couverture souple
65,95 $
2 formats offerts

Évaluation éditoriale

wolfgang ahrendt

Auteur

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Jonathan P. Bowen Couverture souple
116,95 $
2 formats offerts
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Jean-françois Raskin Couverture souple
145,95 $
2 formats offerts
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Anne E. Haxthausen Couverture souple
109,50 $
2 formats offerts
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Nils Jansen Couverture souple
80,50 $
2 formats offerts
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
109,50 $
2 formats offerts
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Mike Hinchey Couverture souple
109,50 $
2 formats offerts
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Stefan Kiefer Couverture souple
189,95 $
2 formats offerts
Treewidth, Kernels, And Algorithms: Essays Dedicated To Hans L. Bodlaender On The Occasion Of His 60th Birthday

Fedor V. Fomin Couverture souple
102,50 $
2 formats offerts
Symposium On Real-time And Hybrid Systems: Essays Dedicated To Professor Chaochen Zhou On The Occasion Of His 80th Birthday

Cliff Jones Couverture souple
80,50 $
2 formats offerts
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Venanzio Capretta Couverture souple
189,95 $
2 formats offerts
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Mike Hinchey Couverture souple
109,50 $
2 formats offerts
Formal Methods In Outer Space: Essays Dedicated To Klaus Havelund On The Occasion Of His 65th Birthday

Ezio Bartocci Couverture souple
87,95 $
2 formats offerts
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Pedro Lopez-garcia Couverture souple
204,50 $
2 formats offerts
From Multimedia Communications to the Future Internet: Essays Dedicated to Ralf Steinmetz on the Occasion of His Retirement

Stefan Schulte Couverture souple
94,95 $
2 formats offerts
Model Checking, Synthesis, And Learning: Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday

Ernst-Rüdiger Olderog Couverture souple
102,50 $
2 formats offerts
Fields Of Logic And Computation Iii: Essays Dedicated To Yuri Gurevich On The Occasion Of His 80th Birthday

Andreas Blass Couverture souple
80,50 $
2 formats offerts
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
72,95 $
Logic, Computation And Rigorous Methods: Essays Dedicated To Egon Borger On The Occasion Of His 75th Birthday

Alexander Raschke Couverture souple
80,50 $
2 formats offerts
Programming Languages with Applications to Biology and Security: Essays Dedicated To Pierpaolo Degano On The Occasion Of His 65th Birthday

Chiara Bodei Couverture souple
80,50 $
2 formats offerts
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Mário S. Alvim Couverture souple
80,50 $
2 formats offerts