- 5 Résultats
prix le plus bas: € 48,37, prix le plus élevé: € 69,90, prix moyen: € 55,16
1
ZB 2002: Formal Specification and Development in Z and B - Bert, Didier|Bowen, Jonathan P.|Henson, Martin C.|Robinson, Ken
Commander
sur AbeBooks.de
€ 48,37
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Bert, Didier|Bowen, Jonathan P.|Henson, Martin C.|Robinson, Ken:

ZB 2002: Formal Specification and Development in Z and B - Livres de poche

2002, ISBN: 3540431667

[EAN: 9783540431664], Neubuch, [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) CONSTRAINT PROGRAMMING BMETHOD FORMALMETHODS UML ZNOTATION FORMALSPECIFICATION FORMALVERIFICATION SOFT… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
fermer(X)
2
ZB 2002: Formal Specification and Development in Z and B - Bert, Didier|Bowen, Jonathan P.|Henson, Martin C.|Robinson, Ken
Commander
sur AbeBooks.de
€ 69,90
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Bert, Didier|Bowen, Jonathan P.|Henson, Martin C.|Robinson, Ken:

ZB 2002: Formal Specification and Development in Z and B - Livres de poche

2002, ISBN: 3540431667

[EAN: 9783540431664], Neubuch, [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) CONSTRAINT PROGRAMMING BMETHOD FORMALMETHODS UML ZNOTATION FORMALSPECIFICATION FORMALVERIFICATION SOFT… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
fermer(X)
3
ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings - Bert, Didier (Herausgeber); Robinson, Ken (Herausgeber); Henson, Martin C. (Herausgeber); Bowen, Jonathan P. (Herausgeber)
Commander
sur Achtung-Buecher.de
€ 55,60
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Bert, Didier (Herausgeber); Robinson, Ken (Herausgeber); Henson, Martin C. (Herausgeber); Bowen, Jonathan P. (Herausgeber):
ZB 2002: Formal Specification and Development in Z and B 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings - nouveau livre

2002

ISBN: 3540431667

2002 Kartoniert / Broschiert Programmieren (EDV) / Constraint Programming, Mathematische Grundlagen, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Bmethod; for… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
4
ZB 2002: Formal Specification and Development in Z and B - Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken
Commander
sur booklooker.de
€ 48,45
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken:
ZB 2002: Formal Specification and Development in Z and B - Première édition

2002, ISBN: 9783540431664

Livres de poche

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Theories, Implementations… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
fermer(X)
5
ZB 2002: Formal Specification and Development in Z and B - Didier Bert; Jonathan P. Bowen; Martin C. Henson; Ken Robinson
Commander
sur lehmanns.de
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Didier Bert; Jonathan P. Bowen; Martin C. Henson; Ken Robinson:
ZB 2002: Formal Specification and Development in Z and B - Première édition

2002, ISBN: 9783540431664

Livres de poche

2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings, Buch, Softcover, [PU: Springer Berlin], [ED: 1], Springer Berlin, 2002

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
ZB 2002: Formal Specification and Development in Z and B
Auteur:
Titre:
ISBN:

9783540431664


This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.

Informations détaillées sur le livre - ZB 2002: Formal Specification and Development in Z and B


EAN (ISBN-13): 9783540431664
ISBN (ISBN-10): 3540431667
Livre de poche
Date de parution: 2002
Editeur: Springer Berlin
552 Pages
Poids: 0,824 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-06-28T12:09:02+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-11T12:41:12+01:00 (Paris)
ISBN/EAN: 9783540431664

ISBN - Autres types d'écriture:
3-540-43166-7, 978-3-540-43166-4
Autres types d'écriture et termes associés:
Auteur du livre: ken robinson, ken martin, jonathan martin, henson, bowen, bert
Titre du livre: grenoble, user computer, users, lecture notes computer science, international conference proceedings, jan, ken

Données de l'éditeur

Auteur: Didier Bert; Jonathan P. Bowen; Martin C. Henson; Ken Robinson
Titre: Lecture Notes in Computer Science; ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Editeur: Springer; Springer Berlin
541 Pages
Date de parution: 2002-01-16
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 541 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; B method; Formal methods; UML; Z notation; formal specification; formal verification; software construction; software design; systems development; Software Engineering; Compilers and Interpreters; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Compiler und Übersetzer; Mathematik: Logik; Mathematische Grundlagen; Theoretische Informatik; EA

Theories, Implementations, and Transformations.- Incremental Proof of the Producer/Consumer Property for the PCI Protocol.- Controlling Control Systems: An Application of Evolving Retrenchment.- Checking Z Data Refinements Using an Animation Tool.- Encoding Object-Z in Isabelle/HOL.- Characters + Mark-up = Z Lexis.- Extraction of Abstraction Invariants for Data Refinement.- An Approach to Combining B and Alloy.- Software Construction by Stepwise Feature Introduction.- The Semantics of Circus.- Handling Inconsistencies in Z Using Quasi-Classical Logic.- Loose Specification and Refinement in Z.- On Using Conditional Definitions in Formal Theories.- A Theory of Generalised Substitutions.- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.- A Comparison of the BTT and TTF Test-Generation Methods.- A Formal Analysis of the CORBA Security Service.- Type Synthesis in B and the Translation of B to PVS.- “Higher-Order” Mathematics in B.- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries.- Generalised Substitution Language and Differentials.- Communicating B Machines.- Synchronized Parallel Composition of Event Systems in B.- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.
Includes supplementary material: sn.pub/extras
< pour archiver...