Refinement is the term used to describe systematic and formal methods of specifying hard- and sof...
Unser bisheriger Preis:ORGPRICE: 57,20 €
Both object orientation and parallelism are modern programmingparadigms which have gained much ...
Unser bisheriger Preis:ORGPRICE: 162,60 €
Carlos, Norvis whispered as he stood as still as possible so as not to cause the big old cat to a...
Unser bisheriger Preis:ORGPRICE: 6,02 €
Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influe...
Unser bisheriger Preis:ORGPRICE: 164,99 €
The Living History Anthology brings together twenty-six practical essays on the craft of establis...
Unser bisheriger Preis:ORGPRICE: 49,10 €
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to...
Unser bisheriger Preis:ORGPRICE: 30,99 €
This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday...
Unser bisheriger Preis:ORGPRICE: 57,28 €
The growing complexity of modern software systems increases the di?culty of ensuring the overall ...
Unser bisheriger Preis:ORGPRICE: 71,39 €
We find ourselves in a very strange place.Technology is embedded so deeply in our lives that it n...
Unser bisheriger Preis:ORGPRICE: 28,32 €
Computer-based systems are now essential to everyday life. They involve both tech- cal (hardware ...
Unser bisheriger Preis:ORGPRICE: 115,46 €
This volume is published in honor of Professor Chaochen Zhou's 80th birthday. The Festschrift con...
Unser bisheriger Preis:ORGPRICE: 57,20 €
Many software systems have reached a level of complication, mainly because of their size, heterog...
Unser bisheriger Preis:ORGPRICE: 56,81 €