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

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 $ à~~
Hands-on Pipeline as YAML with Jenkins: A Beginner's Guide to Implement CI/CD Pipelines for Mobile, Hybrid, and Web Applications Using Jenkins (English Edition)

Mitesh Soni Livre numérique Kobo
16,99 $ ~~Réduction sur le prix courant 20,48 $ à~~
Beginning Ios Game Center And Gamekit: For Ios, Tvos, And Macos

Kyle Richter Couverture souple
80,50 $
3 formats offerts
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Ezechiel Hayes Couverture souple
39,99 $
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Zane Brooks Couverture souple
33,99 $
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Zane Brooks Couverture rigide
46,99 $
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Ezechiel Hayes Couverture rigide
52,99 $
Hands-on Pipeline as YAML with Jenkins: A Beginner's Guide to Implement CI/CD Pipelines for Mobile, Hybrid, and Web Applications Using Jenkins (English Edition)

Mitesh Soni Livre numérique Kobo
20,99 $
iPhone 12, iPhone Pro, And iPhone Pro Max User Guide - The Complete Step by Step Manual To Master Iphone 12 And Ios 14

Simply your Guide Livre numérique Kobo
12,99 $
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 $ à~~
iOS 16 Programming for Beginners - Seventh Edition: Kickstart your iOS app development journey with a hands-on guide to Swift 5.7 and Xcode 14

Ahmad Sahar Couverture souple
50,99 $
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
Server-side Swift With Vapor (third Edition): Building Web Apis And Web Apps In Swift

Tim Condon Couverture souple
77,95 $
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
Metaprogramming Elixir: Write Less Code, Get More Done (and Have Fun!)

Chris McCord Couverture souple
20,00 $
2 formats offerts
Library Linked Data in the Cloud: OCLC’s Experiments with New Models of Resource Description

Carol Jean Godby Livre numérique Kobo
55,99 $ ~~Réduction sur le prix courant 69,84 $ à~~
The Ultimate Guide to iOS 17.0.1 Features: Get the Most Out of Your iPhone

George Anvil Couverture souple
12,95 $
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
Windows Mobile Game Development: Building Games For The Windows Phone And Other Mobile Devices

Adam Dawes Couverture souple
72,95 $
Library Linked Data in the Cloud: OCLC's Experiments with New Models of Resource Description

Carol Jean Godby Couverture souple
58,50 $

Évaluation éditoriale

wolfgang ahrendt

Auteur

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
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
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
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
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
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 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
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
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
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
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
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
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
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
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
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
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
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
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Venanzio Capretta Couverture souple
72,95 $
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
72,95 $