Deutsch
Deutschland
Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540255598 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 22,10 €, größter Preis: 117,69 €, Mittelwert: 98,57 €
ZB 2005: Formal Specification and Development in Z and B - Treharne, Helen / King, Steve / Henson, Martin / Schneider, Steve (eds.)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Treharne, Helen / King, Steve / Henson, Martin / Schneider, Steve (eds.):
ZB 2005: Formal Specification and Development in Z and B - Taschenbuch

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

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
ZB 2005: Formal Specification and Development in Z and B - Helen Treharne; Steve King; Martin Henson; Steve Schneider
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Helen Treharne; Steve King; Martin Henson; Steve Schneider:
ZB 2005: Formal Specification and Development in Z and B - neues Buch

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

Neues Buch Springer.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
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) - Taschenbuch

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

gebrauchtes bzw. antiquarisches Buch Biblio.com
Ergodebooks
Versandkosten: EUR 14.40
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
ZB 2005: Formal Specification and Development in Z and B - Helen Treharne; Steve King; Martin Henson; Steve Schneider
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Helen Treharne; Steve King; Martin Henson; Steve Schneider:
ZB 2005: Formal Specification and Development in Z and B - Taschenbuch

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]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
ZB 2005: Formal Specification and Development in Z and B - Helen Treharne; Steve King; Martin Henson; Steve Schneider
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Helen Treharne; Steve King; Martin Henson; Steve Schneider:
ZB 2005: Formal Specification and Development in Z and B - Taschenbuch

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]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
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.

Detailangaben zum Buch - ZB 2005: Formal Specification and Development in Z and B


EAN (ISBN-13): 9783540255598
ISBN (ISBN-10): 3540255591
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Springer-Verlag GmbH
516 Seiten
Gewicht: 0,772 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 28.03.2007 19:29:35
Buch zuletzt gefunden am 10.10.2017 21:25:29
ISBN/EAN: 9783540255598

ISBN - alternative Schreibweisen:
3-540-25559-1, 978-3-540-25559-8


< zum Archiv...
Benachbarte Bücher