Formal methods for industrial critical systems
: 12th international workshop ; revised selected papers / FMICS 2007, Berlin, Germany, July 1 - 2, 2007. Stefan Leue ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4916)
ISBN 978-3-540-79707-4
Lizenzpflichtig
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2002, 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. Didier Bert ... (ed.). - Berlin : Springer, 2002. - XII, 534 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2272)
ISBN 978-3-540-43166-4 / 3-540-43166-7 kart. : EUR 64.20
Literaturangaben
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2000, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Jonathan P. Bowen ... (ed.). - Berlin : Springer, 2000. - XIV, 510 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1878)
ISBN 978-3-540-67944-8 / 3-540-67944-8 kart. : DM 114.00
Literaturangaben
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2002, 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. D. Bert ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2272)
ISBN 978-3-540-45648-3
Lizenzpflichtig
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2000, First International Conference of B and Z Users, York, UK, August/September 2000. J. P. Bowen ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1878)
ISBN 978-3-540-44525-8
Lizenzpflichtig
Quelle: DNB
Formal specification and development in Z and B
: proceedings / ZB 2003, Third International Conference of B and Z Users, Turku, Finland, June 4 - 6, 2003. Didier Bert ... (ed.). - Berlin : Springer, 2003. - XIII, 545 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2651)
ISBN 978-3-540-40253-4 / 3-540-40253-5 kart. : EUR 70.62
Literaturangaben
Quelle: DNB
Sanchez, Arturo: Formal specification and synthesis of procedural controllers for process systems
/ Arturo Sanchez. - London : Springer, 1996. - XXIV, 221 S. : graph. Darst.; 24 cm - (Lecture notes in control and information sciences; 212)
ISBN 978-3-540-76021-4 / 3-540-76021-0 kart. : DM 68.00
Literaturverz. S. 207 - 216
Quelle: DNB
Formal techniques for networked and distributed systems
: 27th IFIP WG 6.1 international conference ; proceedings / FORTE 2007, Tallinn, Estonia, June 27 - 29, 2007. John Derrick ; Jüri Vain (ed.). - Berlin : Springer, 2007. - XI, 373 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4574)
ISBN 978-3-540-73195-5 / 3-540-73195-4 kart. : EUR 77.04 (freier Pr.), ca. sfr 118.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Formal techniques for networked and distributed systems
: 22nd IFIP WG 6.1 international conference ; proceedings / FORTE 2002, Houston, Texas, USA, November 11 - 14, 2002. Doron A. Peled ; Moshe Y. Vardi (ed.). - Berlin : Springer, 2002. - XI, 368 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2529)
ISBN 978-3-540-00141-6 / 3-540-00141-7 kart. : EUR 55.64
Literaturangaben
Quelle: DNB
Formal techniques for networked and distributed systems
: 23rd IFIP WG 6.1 international conference ; proceedings / FORTE 2003, Berlin, Germany, September 29 - October 2, 2003. Hartmut König ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2767)
ISBN 978-3-540-39979-7
Lizenzpflichtig
Quelle: DNB
