Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 22,10 €, prix le plus élevé: 117,69 €, prix moyen: 98,57 €
ZB 2005: Formal Specification and Development in Z and B - Treharne, Helen / King, Steve / Henson, Martin / Schneider, Steve (eds.)
Livre non disponible
(*)
Treharne, Helen / King, Steve / Henson, Martin / Schneider, Steve (eds.):
ZB 2005: Formal Specification and Development in Z and B - Livres de poche

2005, ISBN: 9783540255598

[ED: Softcover], [PU: Springer, Berlin], 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. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst emes R eseaux within theInstitut d Informatique et Math ematique Appliqu ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS). ZB2005washeldattheUniversity of Surrey, Guildford, UK, hosted by the Department of Computing. The U- versity has always placed particular emphasis on the applicability of its research and its relationship with industrial partners. In this context it is building up its formal methods activity as an area of strategic importance, with the establi- ment of a new group within the Department of Computing, and also with its support for this conference. B and Z are two important formal methods that share a common conceptual origin they are leading approaches in industry and academia for the speci?- tion and development (using formal re?nement) of computer-based systems. At ZB 2005 the B and Z communities met once again to hold a fourth joint c- ference that simultaneously incorporated the 15th International Z User Meeting and the 6th International Conference on the B Method. 2005. xvi, 496 S. XV, 493 p. Also available online. 235 mm Versandfertig in 3-5 Tagen, [SC: 0.00], Neuware, gewerbliches Angebot

Nouveaux livres Booklooker.de
buecher.de GmbH & Co. KG
Frais d'envoiVersandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
ZB 2005: Formal Specification and Development in Z and B - Helen Treharne; Steve King; Martin Henson; Steve Schneider
Livre non disponible
(*)
Helen Treharne; Steve King; Martin Henson; Steve Schneider:
ZB 2005: Formal Specification and Development in Z and B - nouveau livre

2005, ISBN: 9783540255598

ID: 9783540255598

Computer Science; Theory of Computation; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages 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 Books Book, Springer Science+Business Media

Nouveaux livres Springer.com
Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
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) - Editor-Helen Treharne; Editor-Steve King; Editor-Martin Henson; Editor-Steve Schneider
Livre non disponible
(*)
Editor-Helen Treharne; Editor-Steve King; Editor-Martin Henson; Editor-Steve Schneider:
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

ID: 459607351

Springer, 2008-01-11. Paperback. Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available., Springer, 2008-01-11

livre d'occasion Biblio.com
Ergodebooks
Frais d'envoi EUR 14.40
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
ZB 2005: Formal Specification and Development in Z and B - Helen Treharne; Steve King; Martin Henson; Steve Schneider
Livre non disponible
(*)
Helen Treharne; Steve King; Martin Henson; Steve Schneider:
ZB 2005: Formal Specification and Development in Z and B - Livres de poche

2005, ISBN: 9783540255598

ID: 6549057

4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, [ED: 2005], Softcover, Buch, [PU: Springer Berlin]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
ZB 2005: Formal Specification and Development in Z and B - Helen Treharne; Steve King; Martin Henson; Steve Schneider
Livre non disponible
(*)
Helen Treharne; Steve King; Martin Henson; Steve Schneider:
ZB 2005: Formal Specification and Development in Z and B - Livres de poche

2005, ISBN: 9783540255598

ID: 6549057

4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, Softcover, Buch, [PU: Springer Berlin]

Nouveaux livres Lehmanns.de
Frais d'envoiVersand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
ZB 2005: Formal Specification and Development in Z and B

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005.The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

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


EAN (ISBN-13): 9783540255598
ISBN (ISBN-10): 3540255591
Livre de poche
Date de parution: 2005
Editeur: Springer-Verlag GmbH
516 Pages
Poids: 0,772 kg
Langue: eng/Englisch

Livre dans la base de données depuis 28.03.2007 19:29:35
Livre trouvé récemment le 10.10.2017 21:25:29
ISBN/EAN: 3540255591

ISBN - Autres types d'écriture:
3-540-25559-1, 978-3-540-25559-8


< pour archiver...
Livres en relation