adicionar à lista de desejos
The Way Of Z
Practical Programming With Formal Methods
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, November of 1996 ‧
see product details
58,67€
30% OFF
YmtsVFlXUkpSMmhvVWxSM2QyNXNZMmt2ZEhoeksyRndhRTFsWTJkM2EyaEtkRmRYTTJGbVdHMWtabTF1VXk5SVozWmpaWEIwYzJkV1FtRjZVWFlyUWpaelpGTjBORFYxV0VZcldXVXZWVUkwYVVodFJEaEhjVGhRY1hkemQySTViRGRLSzJSeFlVTmlXbWcwZFRKbVFtdzFaR1JrVFVsWlRtcHFVV2hUYVRsWk9FMUdObkI0TTNZMGNETmFOakZVSzFSNVMwMVBMemxwVnpkVGFqZFdaSFpvUVhoeWNHWlJlbEZ2UTNsNFRUWjBOMkU0WVZsc1dFMXNTMGxYU0hOQ1VqVk1ZVVJ0T1RaQk1EbEhjbVo1WjJFdmRVcHFUMnRJVURGR01YbEVURTVuY0U5dkswaFRkVTV4ZUdOSFlXZE1RMmR4T0ZGSmIzcHlUMUJVU0ZvMVZTdDRTV0YwV0hNeU16WlViVzFhUzNNdlJFOWlabE5uVjFOd1dGSkhSbGxVUVRsaksySkRkVE4xVFhseU16a3ZiMWhpTWk5Q01tdHpNWEpPTlVaTlJFMVNWR2xJYjBFeE9WRjJhV3RMTTFWdE1HMU9VVWc1TWtvMEt6Wm9jMkl2VDNoWVYwcExhRWh2ZVZWa1ZEUXhVR2RUTkhSbFRDOXVlWHBUU3poNE5teDBWM3A0Wm5sbGJEWm1ZM1pIV25GQ2JIZGlMMjl2U1N0TFdYaG5TbE53WjNCUU5sQkdTMGcxVVc5cllWWkhaelpYWWtoSU9WbDVjblZ5UVRkSGNqbDJha1pLTm1oUFMwbFJUVzRyTWs5NVQxZHhTWEkyUnpkRFMwUlZjWEpuWkRCeFNFNDFlVXR3U2xoTlozVlhRMWhyYjJrcmIwNTRUM2R2Y3pkTWEzcHlXa05pVGk5aE5ERkRPRFJTY1RGR1JTOTNRbmg2WmxoM2NFVnpXbmRJYmpnNU9YVlZaR0V2UlVWcFkxY3pSbTV3VWtScE9UVnhiVGxJZGtseFFXVmpVM2c0V1RWQ1V6Vm1OREp2UVc5a1dFZEhUazk1WlZwc2FIbzNkWGRwWXk5b2JrcGtWSEpUUkhWV1lucGFOVXBwYUdzek9HUnRkRXhWZUN0c1FXVjBlbmRWTHc9PTpXSEltS2wvVGJlYXUyK2VwODN3bUN3PT0=
free shipping
Sell your book
SYNOPSIS
This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in real projects and showing how to implement them in the C programming language, through case studies in safety-critical systems and other examples from computer graphics, word processing, databases, and object-oriented programming.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521559768 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | November of 1996 |
| Language: | English |
| Cover: | Softcover |
| Pages: | 372 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Schedule
Books in English > Computing > Introduction to Computing |
| EAN: | 9780521559768 |
-
Model-Based Software Testing And Analysis With C#CAMBRIDGE UNIVERSITY PRESS35,96€
-
Model-Based Software Testing And Analysis With C#CAMBRIDGE UNIVERSITY PRESS88,96€free shipping