Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Verification of Sequential and Concurrent Programs

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification of Sequential and Concurrent Programs Ernst-Rudiger Olderog
Libristo-code: 08577018
Uitgeverij Springer London Ltd, maart 2012
This book explores one of the most common approaches to program verification, known as the assertion... Volledige beschrijving
? points 195 b
80.76 €
In extern magazijn Wordt binnen 8-11 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Boek Gebonden (harde band)
common.buy 54.21 €
Samsø Kulturreiseführer Kristen Benning / Boek Gebonden (paperback)
common.buy 18.94 €
Мёртвые души Николай Гоголь / Boek Gebonden (paperback)
common.buy 8.91 €
Quand les animaux nous font du bien Paoli laurence / Boek Gebonden (paperback)
common.buy 25.83 €
Le second crime de la Dame en noir - roman Lorde Boek Gebonden (paperback)
common.buy 24.11 €
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Boek Gebonden (paperback)
common.buy 14.48 €
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Boek Gebonden (paperback)
common.buy 28.27 €
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Boek Boek
common.buy 18.03 €
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Boek Gebonden (paperback)
common.buy 10.73 €
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Boek Gebonden (paperback)
common.buy 34.95 €
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Boek Gebonden (paperback)
common.buy 83.19 €
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Boek Gebonden (paperback)
common.buy 9.11 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verification of Sequential and Concurrent Programs
Auteur Ernst-Rudiger Olderog
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 502
EAN 9781447125136
ISBN 9781447125136
Libristo-code 08577018
Uitgeverij Springer London Ltd
Gewicht 746
Afmetingen 156 x 235 x 28

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Who Wrote The Book of Death? MR Steve Liskow / Boek Gebonden (paperback)
common.buy 16.71 €
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Boek Gebonden (paperback)
common.buy 70.02 €
"JEALOUSY" Sarah Flowers / Boek Gebonden (paperback)
common.buy 15.60 €
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Boek Gebonden (paperback)
common.buy 26.54 €
Hawks Kettle, Puffins Wheel Susan Vande Griek / Boek Gebonden (harde band)
common.buy 17.93 €
Stars in His Eyes Marti Gironell / Boek Gebonden (harde band)
common.buy 24.72 €
Real Estate Smart: The New Home Buying Guide Matt Parker / Boek Gebonden (paperback)
common.buy 11.24 €
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Boek Gebonden (harde band)
common.buy 34.55 €
Tuttle Learner's Chinese-English Dictionary Li Dong / Boek Gebonden (paperback)
common.buy 36.88 €
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Boek Gebonden (paperback)
common.buy 25.22 €
New Channels of Music Distribution C. Michael Brae / Boek Gebonden (paperback)
common.buy 47.83 €
Superconductors at the Nanoscale Roger Wördenweber / Boek Gebonden (harde band)
common.buy 159.10 €
Social work in end-of-life and palliative care Malcolm Payne / Boek Gebonden (paperback)
common.buy 35.46 €
Housing in Rural America Joseph N. Belden / Boek Gebonden (paperback)
common.buy 54.11 €
No-Sew Knits Kristen Kristen TenDyke / Boek Gebonden (paperback)
common.buy 26.95 €
TOP
Who Are We?, English edition Samuel P. Huntington / Boek Gebonden (paperback)
common.buy 16.51 €
Eighth Method Brian Bain / Boek Gebonden (paperback)
common.buy 11.75 €
Low-Born Lass Mary Emma Martin / Boek Gebonden (paperback)
common.buy 25.22 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?