EAN | 9783642648496 |
MPN | biography |
Last Scan | Oct 26 2023 at 9:31 PM |
Description |
Deductive Program Design Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.
|
Barcode |
Deductive Program Design
|
Deductive Program Design
|
Havaianas Slim Metal Mesh Damen Sandalen Schwarz
|
Joop! - JPCF10122A000 - Boutons de manchette Homme
|
Hitler's Spies: German Military Intelligence In World War
|
The Mystery of Rommel's Gold: The Search for
|
Bling Jewelry Boutons de manchette français Sterling Silver
|
Ugg Audra Damen Sandalen Beige
|