adicionar à lista de desejos
B Language And Method eBook
A Guide To Practical Formal Development
language: english
Publisher:
SPRINGER LONDON, December of 2012 ‧
see product details
59,61€
10% OFF
CARD
ZUhKM1F6UXJjamRDZFhWTmJGZHRTRXMyU0ZrMVYxRkJiMXA0WlVOelZXTkVXR1ZXUTBGSE9XOXpTaTlaWVUxdVZIUTNTRzlpVVd0TVdsZERSRTVyTkVrMGRVcEdjMmhRVjNwNFZrWkZha0U0ZEU4clZWaDVPSE5oT0dsTWJ6QnVXVEUxTVcxUFFubDJlbFJ2T0Vad1UxaHpRbmxEZFhabGNtZEJhazlUVW5GQlNEbFNPWGRIZG10Q1pEZEJZMEV3VjJsclNHMHliSEp2T0RJeFNFd3JURmhGU1dGMVdXMVhibmswVVdGcmRrTndha1ZVTVhKc09WaEtkRVZGUms1cFowWktaSFZtWjJkaFNtaHJOMmRTVjBkUFJEbFBVMjE0VDJsVVpXTjVXVFZXTDBkMFJGbEpWMVJpTnk5UE5ITkViakZVZDFnMVNESk9Ua1JSVVVrMFRUVnhSME5SZG5jMmFVNTBhRFJaUTFCSkx6aDNSVFpRTW5obVNITlJPSEkwZGs0ME9HbHhVVEV6UTB4MVdrRkNXWFVyS3l0NVZUaE1kaXMzTjJkUWJrWnhaVFZxU210WVpWUm5kVVIwYjFGUGVtWXpVMVl4VEhSdlEzZFZjVFV3WW10dE4yWXlSR0Z3Ym04eGJtcHhRVkptUTFOaWExSkJTazVtZERsck5sZE9iRTEyZG5CNGExSlpaV1Z5WVdOUE1TczNlR3Q0U3l0V1pWQlVZMWhxUTNkS1VsSktNVmtyTXpCU2NGWmtiRUprYTBWemJrZEJhbnBzZWtSUmVsRnFjamxWVVdob2NrNHdURkZIWjJGdlIwVjRTa3hPT0ZsalRrdGlOMU0zY21oUGJVOVpXazlGSzJ4WlltMXBaVnBVTkUxS0x6RkNUVE4zZHpWc1UwUmxOVlpJVVhaM2R6VXljWE5vV0dwVkwwbEpZME52V21GTk9VTnNhMWxDWVZkbVp6aFlNa0ZHU25rdk5YUnRZbFZuUTNKaE9ISkdRVWxFTlRCNldtVkNVMmtyWmt4d2EwZEVSMmhxUm1Oc2EzWkNNa3B3V1hVeVFVazNZa2x4UnpkcmVqZFdibGw2SzJsTmNHTkRhRmxWU0dwUE16VXlNREJOTm10cVdHZ3lkRTlRZDBGUVF6RkJURkp2WlROd1ZXbFhUbVZuTkhKdUszUTRkalZHT0RGQlYxRmtXUzlCWXk5SGNtd3dOV3hPVFV4dlduRktSQ3RVVUdnM09IcGthRU16UVhCb2RIWjJOR0ZzUjNKaGVtbGtXblpvU2tOM1lsTldlRk5uYlVWdVEwcE5ieTlTZFZkWWIyeGlLemxKUFE9PTpIYnd6RERQTDhRWGxjSmlCSFpaNTVRPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This volume presents an introduction to the B Abstract Machine Notation, and how it can be used to support formal specification and development of high integrity systems. Emphasis is placed on the use of B in the context of existing software development methods.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781447114949 |
| Publisher: | SPRINGER LONDON |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Formal Approaches To Computing And Information Technology (Facit) |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9781447114949 |
-
10%Agile Model-Based Development Using Uml-RsdsTAYLOR & FRANCIS LTD72,99€ 10% CARDfree shipping
-
10%Financial Software EngineeringSpringer Nature Switzerland AG54,06€ 10% CARDfree shipping