Details

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop



von: Hankin Chris Hankin

287,00 €

Verlag: Imperial College Press
Format: PDF
Veröffentl.: 17.10.1995
ISBN/EAN: 9781783263493
Sprache: englisch
Anzahl Seiten: 444

In den Warenkorb
Als Gutschein
DRM-geschütztes eBook, Sie benötigen z.B. Adobe Digital Editions und eine Adobe ID zum Lesen.

Beschreibungen

Titelkurzbeschreibung

The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.

Diese Produkte könnten Sie auch interessieren:

Eine Frage der Chemie
Eine Frage der Chemie
von: Bonnie Garmus
Preis: 19,99 €
Die Toten von Fleat House
Die Toten von Fleat House
von: Lucinda Riley
Preis: 11,99 €
Der Plan - Zwei Frauen. Ein Ziel. Ein gefährliches Spiel.
Der Plan - Zwei Frauen. Ein Ziel. Ein gefährliches Spiel.
von: Julie Clark
Preis: 10,99 €