adicionar à lista de desejos
Specification And Proof In Real Time Csp
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, January of 2012 ‧
see product details
74,35€
10% OFF
CARD
U21GTU9UTjRUVTFQVmxwVFVFMU9RelZtV214b1JqSlpOR05JU20xNlVVMDNabEpSTUVwWlRteEZTMHBLYUdjek5uaHJNemhHUjJWNFprVTNTbUZzYVhsSVprVjRhbVp2ZDJWcGMzZzViRE5aUVVsb2NXVnZRMlptVDBGalVrNURWSFE1VWxod04wUlJNbFl4U2pSS1VVMWpUVXRqTlc5MVMycFpWbUpxY1dkWksxQTBWVGg1YjA1clkwRTRSbEYwVkM4M1pYcHVPVTlqY1VWVldFcFZVa2xTYkVkcFMxQTJXR1UwUlROSFRHRXlibVZWVFRSVVJGZHVOV3haT0dkUVUwWjNWSFpoUml0RmFtaEhiRUlyWkdWWU1tc3dRak5ZT1RncmIyRXJSMkZSTmxKTU1UWkxZVWxWU214RmRIUndlRkZIVUVzNE0yY3dibmhwVVVkd2FWVTRZMUEyTDBKUFpXeHdNalpRTVVvdlJsUmFLMDF1WmtwMVl6UldlbG8zZG5wMFduQldNM1ZZV1hVcmRtazRka1Z2VHpKdmNucG1iRVppV1VaVWJqRlBhVVJIWjJwNWMyTkJSRGt4YkRGRFdrZDFhRnB5WjNWNFZIRm1aelV4YkhCaVRrRm9aR1kyTURSdmRsRjFXRzl3TUU0NVVtdE9MMlpqUkhFeFdWZHljbEZNTkN0eGFIQmtaVGR4YjNKcmVHdFFOWE5FYlc1cFZXTmFTVEpQTHk5U1VVUmlUV3c0YW5SYVVYRmpNekUxVTFWbk1saDFjbWRtV0VkMU16QTVLemt4S3pOUmN6QmxOMjV1YzJFM05tSlVRak00WTBvMGRFWkpPRWxEV1c5RU1UbHBZMGszSzAxUWFWQTRWVUk1VjAxWk0wNUhTbkpRVnpOa2FVUnpkV1ZDTTBSTGJGUlBRWEpXTTJKdE1UY3pVMlJJVlN0NGVFVlJObEZvYkZjNWJXWTRWMmd3VGt3dldtbFpPRWhrUmtoSFNHOHZPVWRLYzAwNVFUZHBWakJPWldWQ2NXWlliMDUzVlZweFJFdGpSelp1VTNkaWNrdGhja055TUU5Q01DdG5RakV5WnpCcE5YWnVWRmxHUm5CemFuQTBUMDFpTkhwMk0xY3hlR2RrZGtOVk5uWjRkVWw2YzFWeFIyVklSRFYzZW5oME9FdExaa0ZzVG5kdWJXOWpWME5oT1Rkbk5VSm9TelJTTUdrMlRFNVhhazV0VmpJM1JrVlFNamRaVUhOWVRVWk1TSE5HZDBGMWRVTnpTMkl4V1VGNldUVjRhbVZMVTNSdlIwMUNlQzlsU0RWeGRpOUJPVFp5ZDNBMGNEQTVXbkJVT0ZWWmVFWnlUM1ozWW5RdmVpdHBUMlpSUVcwdlVXaGxPV0lyVkdOblpYVXhaejA5OitYZXBKTVUrRnlpdVRMNnRreG9EdEE9PQ==
free shipping
Sell your book
SYNOPSIS
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781107403864 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | January of 2012 |
| Language: | English |
| Cover: | Softcover |
| Pages: | 200 |
| Format: | Book |
| Collection: | Distinguished Dissertations In Computer Science |
| Categories: |
Books in English
>
Computing
>
Other Applications
|
| EAN: | 9781107403864 |
BOOKS FROM THE SAME COLLECTION
-
10%A Modular And Extensible Network Storage ArchitectureCAMBRIDGE UNIVERSITY PRESS52,72€ 10% CARDfree shipping
-
10%Three-Dimensional Integrated Circuit LayoutCAMBRIDGE UNIVERSITY PRESS58,13€ 10% CARDfree shipping
-
Specification And Proof In Real Time CspCAMBRIDGE UNIVERSITY PRESS148,71€