Verification of Sequential and Concurrent Programs

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

Autor: Ernst-Rudiger Olderog

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer London Ltd

Dostupnosť: Skladom u dodávateľa

Odosielame za 8-11 dní

78.29 €

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

Informácie o knihe

Autor

Ernst-Rudiger Olderog

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

502

EAN

9781447125136

ISBN

9781447125136

Enbook ID

08577018

Vydavateľ

Springer London Ltd

Hmotnosť

746

Rozmery

156 x 235 x 28

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Verification of Sequential and Concurrent Programs

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež