Nicht aus der Schweiz? Besuchen Sie lehmanns.de

BCS-FACS Northern Formal Methods Workshop

Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996

David J. Duke, A. S. Evans (Herausgeber)

32 Seiten
1997
Springer Berlin (Hersteller)
978-3-540-76117-4 (ISBN)

Lese- und Medienproben

CHF 49,95 inkl. MwSt
  • Titel ist leider vergriffen;
    keine Neuauflage
  • Artikel merken
The aim of this workshop, held in Ilkley, Yorkshire in September 1996, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented computer systems.
Verlagsort Berlin
Sprache englisch
Einbandart Paperback
Themenwelt Informatik Software Entwicklung Objektorientierung
ISBN-10 3-540-76117-9 / 3540761179
ISBN-13 978-3-540-76117-4 / 9783540761174
Zustand Neuware
Haben Sie eine Frage zum Produkt?