Verification of Sequential and Concurrent Programs

Name: Verification of Sequential and Concurrent Programs
Brand: Springer London Ltd
SKU: 9781447125136
Price: 30194 HUF
Availability: InStock

Szerző: Ernst-Rudiger Olderog

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer London Ltd

Elérhetőség: Beszállítói készleten

Küldés 8-11 napon belül

30 194 Ft

This book explores one of the most common approaches to program verification, known as the assertion...

Információk a könyvről

Szerző

Ernst-Rudiger Olderog

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

502

EAN

9781447125136

ISBN

9781447125136

Enbook ID

08577018

Kiadó

Springer London Ltd

Súly

746

Méretek

156 x 235 x 28

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Verification of Sequential and Concurrent Programs

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták