Catalogo · 9783540602712
ZUM '95: The Z Formal Specification Notation
ISBN 9783540602712
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Electronic Visualisation in Arts and Culture
Jonathan P. Bowen, Suzanne Keene, Kia Ng
The Z formal specification notation
Jonathan P. Bowen, Michael G. Hinchey
Provably Correct Systems
Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
ZUM '98 : the Z Formal Specification Notation
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey
ZB 2003
Jonathan P. Bowen, Steve King
ZB 2003 : Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
ZB 2002 : Formal Specification and Development in Z and B
Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
ZB 2000 : Formal Specification and Development in Z and B
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King
Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu
Theories of Programming and Formal Methods
Jonathan P. Bowen, Qin Li, Qiwen Xu
Museums and Digital Culture
Tula Giannini, Jonathan P. Bowen
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent