Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 4.49 € DPD point 3.99 € GLS courier 5.49 € GLS point 4.49 € Croatian Post 5.49 € Overseas courier 5.49 € Box Now 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

Verification of Sequential and Concurrent Programs

Language EnglishEnglish
Book Paperback
Book Verification of Sequential and Concurrent Programs Ernst-Rudiger Olderog
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
? points 184 b
75.77 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Book Hardback
common.buy 50.41 €
Gesellschafts- und Kapitalmarktrecht in Deutschland, OEsterreich und der Schweiz 2013 Susanne Kalss / Book Paperback
common.buy 116.03 €
Les origines occultistes de la franc-maçonnerie Lozac'hmeur / Book Paperback
common.buy 20.72 €
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Book Paperback
common.buy 9.85 €
NATURALEZA DE LA POLITICA, LA CASTELLANO / Book Book
common.buy 10.66 €
Quand les animaux nous font du bien Paoli laurence / Book Paperback
common.buy 23.44 €
Samsø Kulturreiseführer Kristen Benning / Book Paperback
common.buy 17.60 €
Allgemeine Biologie Oscar Hertwig / Book Paperback
common.buy 32.29 €
Мёртвые души Николай Гоголь / Book Paperback
common.buy 8.64 €
Top
Notarztrucksack small foot / Game/Toy Toy
common.buy 91.47 €
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Book Paperback
common.buy 14.38 €
Studiolo Giorgio Agamben / E-book Adobe ePub DRM
common.buy 10.46 €
Poison Ivy Marcio Takara / Book Paperback
common.buy 16.39 €
KONOSUBA! 08 WATARI / Book Book
common.buy 16.80 €
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Book Book
common.buy 16.90 €
Kinder Schlager Party Frank Und Die Nervensägen Zander / Audio Audio CD
common.buy 21.94 €
Institutionen als Triebfeder von Wachstum? Ein Literaturvergleich Valentin Stockerl / Book Paperback
common.buy 17.00 €
Traite de la Fabrication Des Liqueurs Francaises Et Etrangeres, Sans Distillation 7e Ed. L F Dubief / Book Paperback
common.buy 25.55 €
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Book Paperback
common.buy 9.05 €
Trio GPG 5. Schulbuchtexte in einfacher Sprache. Mittelschulen. Bayern Thomas Bauer / Book Paperback
common.buy 27.26 €
Dilemma Mutterschaft Claudia Winkler / Book Paperback
common.buy 56.35 €
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Book Paperback
common.buy 32.70 €
Esclave à Alger. Récit de captivité de Joao Mascarenhas (1621-1626) João de Carvalho Mascarenhas / Book Paperback
common.buy 26.16 €
Harry Potter i Książę Półkrwi Rowling Joanne K. / Book Hardback
common.buy 13.17 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Verification of Sequential and Concurrent Programs
Author Ernst-Rudiger Olderog
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 502
EAN 9781447125136
ISBN 9781447125136
Libristo code 08577018
Publishers Springer London Ltd
Weight 746
Dimensions 156 x 235 x 28

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Who Wrote The Book of Death? MR Steve Liskow / Book Paperback
common.buy 17.00 €
Tuttle Learner's Chinese-English Dictionary Li Dong / Book Paperback
common.buy 33.90 €
How to Master the Teacher Interview: Questions & Answers (How2become) How2Become / Book Paperback
common.buy 14.88 €
Divine Human in the Scri[tures Tayler Lewis / Book Hardback
common.buy 39.14 €
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Book Hardback
common.buy 35.21 €
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Book Paperback
common.buy 67.72 €
Real Estate Smart: The New Home Buying Guide Matt Parker / Book Paperback
common.buy 11.46 €
Cogat Practice Test (Kindergarten and Grade 1) Bright Minds Publishing Seattle Wa / Book Paperback
common.buy 28.97 €
Syntactic Variation and Genre Heidrun Dorgeloh / Book Hardback
common.buy 149.74 €
Business Intelligence with SAP BW 7.3 and SAP BI 4.0 S Kaur / Book Paperback
common.buy 62.99 €
Stars in His Eyes Marti Gironell / Book Hardback
common.buy 24.56 €
Hawks Kettle, Puffins Wheel Susan Vande Griek / Book Hardback
common.buy 17.30 €
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Book Paperback
common.buy 27.06 €
Alfa Romeo Alfasud Martin Chris Martin / Book Hardback
common.buy 28.07 €
Come Out Swinging Lucia Trimbur / E-book Adobe ePub DRM
common.buy 37.93 €
"JEALOUSY" Sarah Flowers / Book Paperback
common.buy 15.89 €
Top
Delinquent Daddy and Tender Teacher Vol. 2: Basking in Sunlight V02 / Book Paperback
common.buy 9.95 €
AI in Modern Architecture and Design Asmaa Ibrahim / Book Hardback
common.buy 116.83 €
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Book Paperback
common.buy 25.65 €
Social work in end-of-life and palliative care Malcolm Payne / Book Paperback
common.buy 32.40 €
Housing in Rural America Joseph N. Belden / Book Paperback
common.buy 51.01 €
Butterfly Mosque G Willow Wilson / Book Paperback
common.buy 15.39 €
No-Sew Knits Kristen Kristen TenDyke / Book Paperback
common.buy 24.95 €
Who Are We?, English edition Samuel P. Huntington / Book Paperback
common.buy 16.90 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?