Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Verification of Sequential and Concurrent Programs

Name: Verification of Sequential and Concurrent Programs
Brand: Springer London Ltd
SKU: 08577018
Price: 31015 HUF
Availability: InStock
Author: Ernst-Rudiger Olderog
ISBN: 9781447125136

Ernst-Rudiger Olderog

Language

English

Book Paperback

Libristo code: 08577018

Publishers Springer London Ltd, March 2012

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

Libristo code: 08577018

212 b

31 015 Ft

In stock at our supplier Shipping in 8-11 days

30-day return policy

Customers also purchased

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE

Hardback

19 129 Ft

Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller

Paperback

5 577 Ft

Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee

Paperback

3 781 Ft

Мёртвые души Николай Гоголь

Paperback

3 141 Ft

Samsø Kulturreiseführer Kristen Benning

Paperback

6 686 Ft

Quand les animaux nous font du bien Paoli laurence

Paperback

9 113 Ft

Le second crime de la Dame en noir - roman Lorde Book

Paperback

8 515 Ft

Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D

Paperback

10 702 Ft

Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN

Book

6 369 Ft

Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S

Paperback

13 479 Ft

Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs

Paperback

3 532 Ft

Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo

Paperback

31 236 Ft

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.