ZB 2003: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.
The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Résumé

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.

The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Détails du produit

• Collaboration: Jonathan P. Bowen (Editeur), Marina Walden (Editeur), Steve King (Editeur), Didier Bert (Editeur), Marina Waldén (Editeur)
• Edition: Springer, Berlin
• Contenu: Livre
• Forme du produit: Livre de poche
• Date de parution: 02.08.2005
• Catégorie: Sciences naturelles, médecine, it, technique > Informatique, ordinateurs > Informatique
• EAN: 9783540402534
• ISBN: 978-3-540-40253-4
• Nombre de pages: 554
• Illustrations: XIV, 554 p.
• Hauteur (emballage): 23,5 cm
• Poids (emballage): 840 g
• Thème: Lecture Notes in Computer Science > 2651; Lecture Notes in Computer Science
• Catégories: C, Software Engineering, Theoretische Informatik, computer science, Verification, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Operating systems, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory