Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop

BuchGebunden
444 Seiten
Englisch
Imperial College Presserschienen am01.10.1995
The 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.mehr

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
Erscheinungsjahr1995
Erscheinungsdatum01.10.1995
Seiten444 Seiten
SpracheEnglisch
Artikel-Nr.51930144

Autor