adicionar à lista de desejos
Verification Of Sequential And Concurrent Programs eBook
language: english
Publisher:
SPRINGER LONDON, September of 2009 ‧
see product details
92,74€
10% OFF
CARD
YTJsUk9ETXdWR1ZYVHpGc1JuZFpkQ3RCVlRZd1dFSTFOaTlRVW5STlFpdGpjV0kxTjNsaFZXbFBUbEYzY0RSdVFYQkZObFJGTlZKUlZVdElOemRpUW1GbE1XOUNUSEZyUWt4WGNqUlljVXg1ZWtaNFRXSnVXVTVETDFCREwydFlUbEYwWVhsRU4ybzBhV1ZMVmxCb055czRWMHRyVTBWREsyeEZWUzlrSzA1TWRVOWlSbTVoVkZob1ZFNUlaWEZQYkVsMVpWZE5TWGgzU2pGaVVUazRZMk5STVhoQlp6TlpNVE50Vld3eWNuZGpNaTl6TjFsMmJqRmxiamR4WTB0S1RYQXZSVFJLVlV4TVVWSlhRazFsVTNRMFJtVnRjbWxpU25WcFdXbEhkbmxHUkV0dVVsTmFOa3h0ZWtORmFYaEhSVWh3WWtOM2VWWmtTVFExUkM5a1lqZHFWRVk1UkhGbmJHRnpTV3BhTVVWdmNYTmFkRVE0UkdVMVduRmxNMUp6WlRZck1VeGFRM0JrWkRSR1ZEYzFUamRVU2tkdmJtRlNSbmt6WldRM1RETnJPWHA1U2xKUFoyeGhlazlwWkhGeGJFbDBNbkpCSzFFMVVrOTRaMDQwVVd4UmN6SkhSMGhvYW5OS1NsQnVMMFZpZVVsYVJWQXJlVWR4UjNBdldrOXdLM0ZaWVVGa2JtcEthV3hYVkVSbGJFSjZaMmN3ZW1GQ1RUVlFlV2haVXpSVGJVSkVlRU55ZVhCd1Rrb3JUM2RCU0hWblMyTXdWM1JQTkRacGVIcGpRbUpFT0dZM00wbGpVVTVIZUdsUWFHNVZkMlJyTWxweWVqWmlaRTFHU0hWdWRuVm9ORzFGYTNkNGIyYzVUWGR6YlhkelkwUjJhMHBSWm1SRVoxSllXa2hXVUZCVE1taGhURFV2V0hSRlFuUlRaVEZRU21oUWRYVXpTbXRsU21GeE1qSmtRbUZMTWxCWmFIaGlZbEo2VWtJM2RXUkVVMUZzS3k4NWJqTjNRVmRaSzJwUGFpOVFaeTl5VW1SVlkzVmpZMUUzZW1wUk5tSjBZV2RyYUVzclJsSmliSE15TVV0TE1rSkpUbXRRVmtVNWRqaDFjM05oVTA5cVNuUnpSVGxSVVRacmNGbDNObEV5U21wa1F6SnZRWFI1TjJGTk4yWlZha1prVmxkcmR5dFRVVUZJYlU1MWFtMHJSeTlvWWxRM1JGaFRjVWRJUldsd2JtUlZiek5EYW1SSWJEZDVUSFpMUzFsalVWVkxUR1o1TTFCSUwyWldjbkl4U0daa2VWbDFSMEV3VVN0aVpWTktTVmhKUFE9PTpzdUdxZzhTZGFCc3Q5QyswejlxOGVnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781848827455 |
| Publisher: | SPRINGER LONDON |
| Release Date: | September of 2009 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Texts In Computer Science |
| Categories: |
eBooks in English
>
Computing
>
Schedule
|
| EAN: | 9781848827455 |
BOOKS FROM THE SAME COLLECTION
-
Programming Language Design And Implementation10%Springer International Publishing AG79,07€
87,86€free shipping -
Programming Language Design And Implementation10%Springer International Publishing AG66,91€
74,34€free shipping
-
Edsger Wybe DijkstraAssociation of Computing Machinery,U.S.142,91€