Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness
von Bakker, J.W. de, W.-P. de Roever and G. Rozenberg
Springer
Jahr: 1990
808 Seiten
Broschiert
Bestellnummer: 2174326

Beschreibung
Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel...) - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache.