Catalogo · 9783540445258
ZB 2000 : Formal Specification and Development in Z and B
ISBN 9783540445258
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
ZUM '95: The Z Formal Specification Notation
Jonathan P. Bowen
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
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
Verba volant · scripta manent