Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verification of Sequential and Concurrent Programs

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Verification of Sequential and Concurrent Programs Ernst-Rudiger Olderog
Libristo kod: 08577018
Nakladnici Springer London Ltd, ožujak 2012
This book explores one of the most common approaches to program verification, known as the assertion... Cijeli opis
? points 195 b
80.56 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Knjiga Tvrdi uvez
common.buy 51.55 €
Мёртвые души Николай Гоголь / Knjiga Meki uvez
common.buy 7.57 €
Studiolo Giorgio Agamben / E-knjiga Adobe ePub DRM
common.buy 10.40 €
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Knjiga Meki uvez
common.buy 14.45 €
Allgemeine Biologie Oscar Hertwig / Knjiga Meki uvez
common.buy 31.63 €
Kinder Schlager Party Frank Und Die Nervensägen Zander / Audio Audio CD
common.buy 22.03 €
Samsø Kulturreiseführer Kristen Benning / Knjiga Meki uvez
common.buy 17.88 €
Quand les animaux nous font du bien Paoli laurence / Knjiga Meki uvez
common.buy 24.45 €
NATURALEZA DE LA POLITICA, LA CASTELLANO / Knjiga Knjiga
common.buy 10.30 €
Le second crime de la Dame en noir - roman Lorde Knjiga Meki uvez
common.buy 22.84 €
Der Deutsche Aufsatz: Neun Abtheilungen Stilistischer Aufgaben Und Ausarbeitungen (1866) Ernst Ludwig Rochholz / Knjiga Meki uvez
common.buy 36.38 €
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Knjiga Meki uvez
common.buy 28.20 €
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Knjiga Knjiga
common.buy 18.09 €
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Knjiga Meki uvez
common.buy 34.87 €
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Knjiga Meki uvez
common.buy 10.10 €
Trio GPG 5. Schulbuchtexte in einfacher Sprache. Mittelschulen. Bayern Thomas Bauer / Knjiga Meki uvez
common.buy 27.59 €
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Knjiga Meki uvez
common.buy 9.09 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Verification of Sequential and Concurrent Programs
Autor Ernst-Rudiger Olderog
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 502
EAN 9781447125136
ISBN 9781447125136
Libristo kod 08577018
Nakladnici Springer London Ltd
Težina 746
Dimenzije 156 x 235 x 28

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Who Wrote The Book of Death? MR Steve Liskow / Knjiga Meki uvez
common.buy 16.67 €
Real Estate Smart: The New Home Buying Guide Matt Parker / Knjiga Meki uvez
common.buy 11.21 €
AI in Modern Architecture and Design Asmaa Ibrahim / Knjiga Tvrdi uvez
common.buy 120.70 €
"JEALOUSY" Sarah Flowers / Knjiga Meki uvez
common.buy 15.56 €
Come Out Swinging Lucia Trimbur / E-knjiga Adobe ePub DRM
common.buy 36.99 €
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Knjiga Meki uvez
common.buy 26.48 €
Hawks Kettle, Puffins Wheel Susan Vande Griek / Knjiga Tvrdi uvez
common.buy 16.97 €
Stars in His Eyes Marti Gironell / Knjiga Tvrdi uvez
common.buy 24.66 €
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Knjiga Meki uvez
common.buy 66.31 €
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Knjiga Tvrdi uvez
common.buy 34.46 €
Tuttle Learner's Chinese-English Dictionary Li Dong / Knjiga Meki uvez
common.buy 34.97 €
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Knjiga Meki uvez
common.buy 25.16 €
New Channels of Music Distribution C. Michael Brae / Knjiga Meki uvez
common.buy 47.61 €
Social work in end-of-life and palliative care Malcolm Payne / Knjiga Meki uvez
common.buy 35.37 €
Housing in Rural America Joseph N. Belden / Knjiga Meki uvez
common.buy 51.24 €
No-Sew Knits Kristen Kristen TenDyke / Knjiga Meki uvez
common.buy 25.16 €
Who Are We?, English edition Samuel P. Huntington / Knjiga Meki uvez
common.buy 16.47 €
Superconductors at the Nanoscale Roger Wördenweber / Knjiga Tvrdi uvez
common.buy 158.71 €
Eighth Method Brian Bain / Knjiga Meki uvez
common.buy 11.72 €
Low-Born Lass Mary Emma Martin / Knjiga Meki uvez
common.buy 25.16 €
Moving Past Cindy Cipriani / Knjiga Tvrdi uvez
common.buy 28.80 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?