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
534 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
550 kr
Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Inbunden
1 282 kr
Del 8767
Model-Driven Engineering Languages and Systems
Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran
Häftad
550 kr
Del 9139
Ultrafilters Across Mathematics
Vitaly Bergelson, Andreas Blass, Mauro Nasso, Renling Jin
Häftad
1 619 kr
Model-Based Software Testing and Analysis with C#
Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Häftad
500 kr