Produkt
KlappentextThe papers in this text are taken from the Second Imperial Workshop, held in Cambridge, 1994. The focus was on the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations.
Details
ISBN/GTIN978-1-86094-003-3
ProduktartBuch
EinbandartGebunden
FormatGenäht
Verlag
Erscheinungsjahr1995
Erscheinungsdatum01.10.1995
Seiten444 Seiten
SpracheEnglisch
Artikel-Nr.51930144
Rubriken