Fields of Logic and Computation
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
Häftad, 2010
1 070 kr
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
AvLev D. Beklemishev,Andreas Blass
Häftad, Engelska, 2015
Del 9300 i serien Lecture Notes in Computer Science
539 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 12180
Fields of Logic and Computation III
Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
Häftad, 2020
556 kr
Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Inbunden, 2007
1 264 kr
Del 8767
Model-Driven Engineering Languages and Systems
Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran
Häftad, 2014
556 kr
Formal Methods and Software Engineering
Jim Davies, Wolfram Schulte, Mike Barnett
Häftad, 2004
1 102 kr
Ultrafilters Across Mathematics
Vitaly Bergelson, Andreas Blass, Mauro Nasso, Renling Jin
Häftad, 2010
1 484 kr
Del 14570
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad, 2024
445 kr
- Nyhet
Del 16060
Design and Verification of Cyber-Physical Systems: From Theory to Applications
Andreas Rauh, Bernd Finkbeiner, Paul Kröger
Häftad, 2026
879 kr
Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Häftad, 2007
523 kr