Theoretical Computer Science and General Issues

Abstract State Machines, B and Z

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Herausgeber: Börger, E., Butler, M., Bowen, J.P., Boca, P. (Eds.)

Vorschau

Dieses Buch kaufen

eBook 53,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-87603-8
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 69,54 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-87602-1
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.

The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

Inhaltsverzeichnis (48 Kapitel)

Inhaltsverzeichnis (48 Kapitel)

Dieses Buch kaufen

eBook 53,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-87603-8
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 69,54 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-87602-1
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Abstract State Machines, B and Z
Buchuntertitel
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Herausgeber
  • Egon Börger
  • Michael Butler
  • Jonathan P. Bowen
  • Paul Boca
Titel der Buchreihe
Theoretical Computer Science and General Issues
Buchreihen Band
5238
Copyright
2008
Verlag
Springer-Verlag Berlin Heidelberg
Copyright Inhaber
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-87603-8
DOI
10.1007/978-3-540-87603-8
Softcover ISBN
978-3-540-87602-1
Auflage
1
Seitenzahl
XII, 384
Themen