Catalogo · 9783540679592
Abstract state machines
ISBN 9783540679592
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Computer science logic
Workshop on Computer Science Logic (7th 1993 Swansea, Wales), Egon Borger, Yuri Gurevich
Classical Decision Problem
Egon Börger, Erich Grädel, Yuri Gurevich
Tests and Proofs
Bertrand Meyer, Yuri Gurevich
Semantics of programming languages and model theory
Manfred Droste, Yuri Gurevich
Fields of logic and computation
Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
Abstract State Machines - Theory and Applications
Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Verba volant · scripta manent