ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings - Livres de poche
2008, ISBN: 3540255591
[EAN: 9783540255598], Neubuch, [SC: 35.52], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; INFORMATIK; BMETHOD; UML; XML; ZSPECIFICATIONLANGUAGE; ZML; ALGORITHMS; … Plus…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoi EUR 35.52 Details... |
2005, ISBN: 9783540255598
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuil… Plus…
BarnesandNoble.com new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
2007, ISBN: 9783540255598
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the ci… Plus…
booklooker.de |
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ... / Programming and Software Engineering) - Livres de poche
2005, ISBN: 9783540255598
Springer, 2008-01-11. Paperback. Used: Good., Springer, 2008-01-11, 2.5
Biblio.co.uk |
1969, ISBN: 9783540255598
verlag die spur berlin & schleswig-holstein, 1969.., verlag die spur berlin & schleswig-holstein, 1969., 0
Biblio.co.uk |
ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings - Livres de poche
2008, ISBN: 3540255591
[EAN: 9783540255598], Neubuch, [SC: 35.52], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK MATHEMATIK; INFORMATIK; BMETHOD; UML; XML; ZSPECIFICATIONLANGUAGE; ZML; ALGORITHMS; … Plus…
2005, ISBN: 9783540255598
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuil… Plus…
2007
ISBN: 9783540255598
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the ci… Plus…
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ... / Programming and Software Engineering) - Livres de poche
2005, ISBN: 9783540255598
Springer, 2008-01-11. Paperback. Used: Good., Springer, 2008-01-11, 2.5
1969, ISBN: 9783540255598
verlag die spur berlin & schleswig-holstein, 1969.., verlag die spur berlin & schleswig-holstein, 1969., 0
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
EAN (ISBN-13): 9783540255598
ISBN (ISBN-10): 3540255591
Livre de poche
Date de parution: 2005
Editeur: Springer Berlin Heidelberg Core >1
516 Pages
Poids: 0,772 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-03-28T19:29:35+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-08T14:48:46+02:00 (Paris)
ISBN/EAN: 9783540255598
ISBN - Autres types d'écriture:
3-540-25559-1, 978-3-540-25559-8
Autres types d'écriture et termes associés:
Auteur du livre: martin schneider, helen schneider, steve martin, henson, king were, king hele, held
Titre du livre: 2005 formal specification development, april april, die kirche, gui, programming
Données de l'éditeur
Auteur: Helen Treharne; Steve King; Martin Henson; Steve Schneider
Titre: Lecture Notes in Computer Science; Programming and Software Engineering; ZB 2005: Formal Specification and Development in Z and B - 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Editeur: Springer; Springer Berlin
496 Pages
Date de parution: 2005-04-07
Berlin; Heidelberg; DE
Langue: Anglais
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XVI, 496 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; B method; UML; XML; Z specification language; ZML; algorithms; formal methods; formal specification; formal verification; program analysis; program development; refinement; system specification; systems design; systems development; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; EA
Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract—.- Visualising Larger State Spaces in Pro B.- Non-atomic Refinement in Z and CSP.- Process Refinement in B.- CZT: A Framework for Z Tools.- Model Checking Z Specifications Using SAL.- Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ.- A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems.- An Extension of Event B for Developing Grid Systems.- The Challenge of Probabilistic Event B—Extended Abstract—.- Requirements as Conjectures: Intuitive DVD Menu Navigation.- A Prospective-Value Semantics for the GSL.- Retrenchment and the B-Toolkit.- Refinement and Reachability in Event_B.- A Rigorous Foundation for Pattern-Based Design Models.- An Object-Oriented Structuring for Z Based on Views.- Component Reuse in B Using ACL2.- GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties.- Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z.- Using B as a High Level Programming Language in an Industrial Project: Roissy VAL.- Development via Refinement in Probabilistic B — Foundation and Case Study.- Formal Program Development with Approximations.- Practical Data Refinement for the Z Schema Calculus.- Slicing Object-Z Specifications for Verification.- Checking JML Specifications with B Machines.- Including Design Guidelines in the Formal Specification of Interfaces in Z.- Some Guidelines for Formal Development of Web-Based Applications in B-Method.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540448808 ZB 2003: Formal Specification and Development in Z and B (Didier Bert; Jonathan P. Bowen; Steve King; Marina Waldén)
- 9783540448808 ZB 2003: Formal Specification and Development in Z and B (Didier Bert; Jonathan P. Bowen; Steve King; Marina Waldén)
- 9783540320074 ZB 2005: Formal Specification and Development in Z and B (Helen Treharne; Steve King; Martin Henson; Steve Schneider)
- 9783540402534 ZB 2003: Formal Specification and Development in Z and B (Bert, Didier|Bowen, Jonathan P.|King, Steve|Walden, Marina)
< pour archiver...