Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings (Lecture Notes in Computer Science) - Couverture souple

9783540402534: Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings (Lecture Notes in Computer Science)

Couverture souple

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Editeur : Springer, 2003

Afficher les exemplaires de cette �dition comportant l?ISBN

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

Pr�sentation de l'�diteur

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2003
Langue: anglais
ISBN 10: 3540402535
ISBN 13: 9783540402534
Reliure: Broch�
Nombre de pages: 568
�diteur: Bert Didier
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

R�sultats de recherche pour Zb 2003: Formal Specification and Development in Z...

Image d'archives

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 (Lecture Notes in Computer Science, 2651)

Edit� par Springer, 2003

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540402534_new

Contacter le vendeur

Acheter neuf

EUR 114,57

Exp�dition �EUR 13,86
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

ZB 2003: Formal Specification and Development in Z and B

Didier Bert

Edit� par Springer Berlin Heidelberg Mai 2003, 2003

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 568 pp. Englisch. N� de r�f. du vendeur 9783540402534

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

ZB 2003: Formal Specification and Development in Z and B

Bert, Didier|Bowen, Jonathan P.|King, Steve|Walden, Marina

Edit� par Springer Berlin Heidelberg, 2003

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 i. N� de r�f. du vendeur 4888669

Contacter le vendeur

Acheter neuf

EUR 92,27

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

ZB 2003

Edit� par Springer, 2003

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 568. N� de r�f. du vendeur 263065191

Contacter le vendeur

Acheter neuf

EUR 148,94

Exp�dition �EUR 3,40
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

ZB 2003

Edit� par Springer, 2003

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand pp. 568 Illus. N� de r�f. du vendeur 5864120

Contacter le vendeur

Acheter neuf

EUR 154,89

Exp�dition �EUR 7,52
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

ZB 2003

Bowen Jonathan P. King Steve Bert Didier

Edit� par Springer, 2003

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND pp. 568. N� de r�f. du vendeur 183065197

Contacter le vendeur

Acheter neuf

EUR 154,22

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

ZB 2003: Formal Specification and Development in Z and B

Didier Bert

Edit� par Springer, Springer Mai 2003, 2003

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Alloy: A Logical Modelling Language.- An Outline Pattern Language for Z: Five Illustrations and Two Tables.- Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z.- Reuse of Specification Patterns with the B Method.- Composing Specifications Using Communication.- When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets.- How to Diagnose a Modern Car with a Formal B Model .- Parallel Hardware Design in B.- Operation Refinement and Monotonicity in the Schema Calculus.- Using Coupled Simulations in Non-atomic Refinement.- An Analysis of Forward Simulation Data Refinement.- B#: Toward a Synthesis between Z and B.- Introducing Backward Refinement into B.- Expression Transformers in B-GSL.- Probabilistic Termination in B.- Probabilistic Invariants for Probabilistic Machines.- Proving Temporal Properties of Z Specifications Using Abstraction.- Compositional Verification for Object-Z.- Timed CSP and Object-Z.- Object Orientation without Extending Z.- Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.- Towards Practical Proofs of Class Correctness.- Automatically Generating Information from a Z Specification to Support the Classification Tree Method.- Refinement Preserves PLTL Properties.- Proving Event Ordering Properties for Information Systems.- ZML: XML Support for Standard Z.- Formal Derivation of Spanning Trees Algorithms.- Using B Refinement to Analyse Compensating Business Processes.- A Formal Specification in B of a Medical Decision Support System.- Extending B with Control Flow Breaks.- Towards Dynamic Population Management of Abstract Machines in the B Method.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 568 pp. Englisch. N� de r�f. du vendeur 9783540402534

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

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

Bert, Didier/ Bowen, Jonathan P./ International Conference of B and Z Users (3rd : 2003 : Turku, Finland)/ King, Steve/ Walden, Marina

Edit� par Springer-Verlag New York Inc, 2003

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 1st edition. 547 pages. 9.00x6.00x1.25 inches. In Stock. N� de r�f. du vendeur x-3540402535

Contacter le vendeur

Acheter neuf

EUR 154,67

Exp�dition �EUR 14,46
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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

Edit� par Springer, Springer, 2003

ISBN 10 : 3540402535 ISBN 13 : 9783540402534

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783540402534

Contacter le vendeur

Acheter neuf

EUR 106,99

Exp�dition �EUR 64,25
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier