Catalogo · 9783540876038
Abstract State Machines, B and Z
ISBN 9783540876038
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Berechenbarkeit Komplexität Logik
Egon Börger
Architecture Design and Validation Methods
Egon Börger
Modeling Companion for Software Practitioners
Egon Börger, Alexander Raschke
Computer science logic
Workshop on Computer Science Logic (7th 1993 Swansea, Wales), Egon Borger, Yuri Gurevich
Computer science logic
Workshop on Computer Science Logic (6th 1992 San Miniato, Italy), Egon Borger, G. Jager, H. Kleine Buning
Computer science logic
Egon Borger, G. Jager, H. Kleine Buning
Classical Decision Problem
Egon Börger, Erich Grädel, Yuri Gurevich
Abstract State Machines
Egon Börger, Robert Stärk
SUBJEKTORIENTIERTES PROZESSMANAGEMENT
Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger
Structures of Computing
Egon Börger, Vincenzo Gervasi
Current Trends Theor C/S 84-0
Egon Borger
CSL '87
Egon Börger, Hans Kleine Büning, Michael M. Richter
Verba volant · scripta manent