Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings - Lecture Notes in Computer Science - Jaco W De Bakker - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540525592 - 1990. gada 25. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Jaco W De Bakker
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Rex Workshop, Mook, the Netherlands, May 29 - June 2, 1989. Proceedings - Lecture Notes in Computer Science

Cena
€ 118,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 18. aug. - . gada 1. sept.
Saņemiet paziņojumus par jauniem Jaco W De Bakker izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This proceedings volume surveys the state of the art in concurrent program specification, verification, and the theory of their refinement. The world's leading specialists in these areas present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented.

812 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1990. gada 25. aprīlis
ISBN13 9783540525592
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 812
Izmēri 155 × 235 × 41 mm   ·   1,13 kg
Valoda Vācu  
Redaktors Bakker, J. W. De
Redaktors De Roever, Willem-paul
Redaktors Rozenberg, Grzegorz
Redaktors Warpechowski, Marek

Vairāk no tā paša izdevēja

Skatīt visus Jaco W De Bakker ( piem., Paperback Book )