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

Didier Bert (u. a.)

ISBN 10: 3540402535 ISBN 13: 9783540402534

Verlag: Springer, 2003

Neu Taschenbuch

Verk�ufer preigu, Osnabr�ck, Deutschland Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 5. August 2024

Dieser Artikel ist nicht mehr verf�gbar.

Alle Artikel dieses Verk�ufers anzeigen Ein Kaufgesuch f�r �hnliche Artikel erstellen

Alle Exemplare dieses Buches anzeigen

Beschreibung

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 | Didier Bert (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540402534 | Verantwortliche Person f�r die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Bestandsnummer des Verk�ufers 102527060

Diesen Artikel melden

Inhaltsangabe:

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Bibliografische Details

Titel: ZB 2003: Formal Specification and ...
Verlag: Springer
Erscheinungsdatum: 2003
Einband: Taschenbuch
Zustand: Neu

Beste Suchergebnisse beim ZVAB

Foto des Verk�ufers

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

Didier Bert

Verlag: Springer, Springer, 2003

ISBN 10: 3540402535 ISBN 13: 9783540402534

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9783540402534

Verk�ufer kontaktieren