Sprache
Thema
Format
Verfügbarkeit
Autoren

Suchresultat

de Roever, de Roever, Willem-Paul de Roever, Davi Gries, David Gries - Programming Concepts and Methods PROCOMET '98
de Roever, de Roever, Willem-Paul de Roever, Davi Gries, David Gries Programming Concepts and Methods PROCOMET '98 Englisch 14.11.2013 Taschenbuch Fr. 236.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects Englisch 14.04.2009 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susann Graf, Susanne Graf, Willem-Paul De Roever - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susann Graf, Susanne Graf, Willem-Paul De Roever Formal Methods for Components and Objects Englisch 29.01.2013 Taschenbuch Fr. 69.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Willem-Paul de Roever, Willem-Paul (Christian-Albrechts Univer De Roever, Willem-Paul Engelhardt De Roever, Kai Engelhardt, Willem-Paul Engelhardt Roever - Data Refinement
Willem-Paul de Roever, Willem-Paul (Christian-Albrechts Univer De Roever, Willem-Paul Engelhardt De Roever, Kai Engelhardt, Willem-Paul Engelhardt Roever Data Refinement Englisch 18.12.2008 Taschenbuch Fr. 116.40 1-3 Wochen (kurzfristig nicht lieferbar)
Frank de Boer, Frank de Boer, Willem-Paul de Roever, Willem-Paul Boer De Roever, Ulrich Hanneman, Jozef Hooman... - Concurrency Verification
Frank de Boer, Frank de Boer, Willem-Paul de Roever, Willem-Paul Boer De Roever, Ulrich Hanneman, Jozef Hooman... Concurrency Verification Englisch 26.11.2001 Fester Einband Fr. 379.20 1-3 Wochen (kurzfristig nicht lieferbar)
Jacobus W. de Bakker, Willem-Pau de Roever, Willem-Paul de Roever, Willem-Paul De Roever, Grzegorz Rozenberg - Current Trends in Concurrency
Jacobus W. de Bakker, Willem-Pau de Roever, Willem-Paul de Roever, Willem-Paul De Roever, Grzegorz Rozenberg Current Trends in Concurrency Englisch 01.01.1960 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Willem-Pau de Roever, Willem-Paul de Roever, Hans Langmaack, Willem-Paul De Roever, Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems
Willem-Pau de Roever, Willem-Paul de Roever, Hans Langmaack, Willem-Paul De Roever, Jan Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems Englisch 01.01.1960 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Jacobus W. de Bakker, Willem-Pau de Roever, Willem-Paul de Roever, Willem-Paul De Roever, Grzegorz Rozenberg - Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Jacobus W. de Bakker, Willem-Pau de Roever, Willem-Paul de Roever, Willem-Paul De Roever, Grzegorz Rozenberg Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Englisch 01.01.1960 Taschenbuch Fr. 134.00 1-2 Wochen (Titel wird auf Bestellung gedruckt)
Willem-Paul de Roever, Willem-Paul (Christian-Albrechts Univer De Roever, W. Deroever, Kai Engelhardt, Kai Englehardt, W. -P De Roever... - Data Refinement
Willem-Paul de Roever, Willem-Paul (Christian-Albrechts Univer De Roever, W. Deroever, Kai Engelhardt, Kai Englehardt, W. -P De Roever... Data Refinement Englisch 03.12.1998 Fester Einband Fr. 226.80 2-3 Wochen (Titel wird auf Bestellung gedruckt)
de Roever, de Roever, Willem-Paul de Roever, Davi Gries, David Gries, Willem-Paul De Roever - Programming Concepts and Methods PROCOMET '98
de Roever, de Roever, Willem-Paul de Roever, Davi Gries, David Gries, Willem-Paul De Roever Programming Concepts and Methods PROCOMET '98 Englisch 29.06.2009 Fester Einband Fr. 236.00 2-3 Wochen (Titel wird auf Bestellung gedruckt)
Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects Englisch 20.10.2006 Taschenbuch Fr. 70.00 6-7 Wochen
Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... - Formal Methods for Components and Objects, FMCO 2002
Marcello Bonsangue, Willem P. DeRoever, Susanne Graf, Frank S. de Boer, Frank S.de Boer, Marcell Bonsangue... Formal Methods for Components and Objects, FMCO 2002 Englisch 18.08.2005 Taschenbuch Fr. 70.00 6-7 Wochen
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... Formal Methods for Components and Objects Englisch 20.12.2004 Taschenbuch Fr. 70.00 6-7 Wochen