Catalogo · 9783540445180
Abstract State Machines - Theory and Applications
ISBN 9783540445180
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
Yuri Gurevich
Verba volant · scripta manent