Verification of Sequential and Concurrent Programs

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

Autor: Ernst-Rudiger Olderog

Język:

Oprawa: Miękka

Wydawca: Springer London Ltd

Dostępność: Dostępna u dostawcy

Wysyłamy za 8-11 dni

331.20 zł

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

Informacje o książce

Autor

Ernst-Rudiger Olderog

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2012

strony

502

EAN

9781447125136

ISBN

9781447125136

Enbook ID

08577018

Wydawca

Springer London Ltd

Waga

746

Wymiary

156 x 235 x 28

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Verification of Sequential and Concurrent Programs

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również