BCS-FACS Northern Formal Methods Workshop
Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996
Seiten
1997
Springer Berlin (Hersteller)
978-3-540-76117-4 (ISBN)
Springer Berlin (Hersteller)
978-3-540-76117-4 (ISBN)
Lese- und Medienproben
- 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? |
