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 - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540525592 - 25. aprila 1990
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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
€ 96,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 18. - 26. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Jaco W De Bakker

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 25. aprila 1990
ISBN13 9783540525592
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 812
Dimenzije 155 × 235 × 41 mm   ·   1,13 kg
Jezik Nemščina  
Urednik Bakker, J. W. De
Urednik De Roever, Willem-paul
Urednik Rozenberg, Grzegorz
Urednik Warpechowski, Marek

Več od istega **izdajatelja**

Ogled vseh Jaco W De Bakker