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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
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.71 €
Vanjske zalihe Šaljemo za 8-11 dana

30 dana za povrat kupljenih proizvoda

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.85 €
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Knjiga Meki uvez
common.buy 14.47 €
Мёртвые души Николай Гоголь / Knjiga Meki uvez
common.buy 8.40 €
Samsø Kulturreiseführer Kristen Benning / Knjiga Meki uvez
common.buy 17.92 €
Quand les animaux nous font du bien Paoli laurence / Knjiga Meki uvez
common.buy 24.70 €
Le second crime de la Dame en noir - roman Lorde Knjiga Meki uvez
common.buy 23.08 €
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Knjiga Meki uvez
common.buy 28.25 €
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Knjiga Knjiga
common.buy 17.11 €
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Knjiga Meki uvez
common.buy 10.22 €
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Knjiga Meki uvez
common.buy 34.93 €
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Knjiga Meki uvez
common.buy 83.14 €
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Knjiga Meki uvez
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.

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.70 €
Real Estate Smart: The New Home Buying Guide Matt Parker / Knjiga Meki uvez
common.buy 11.23 €
"JEALOUSY" Sarah Flowers / Knjiga Meki uvez
common.buy 15.59 €
Hawks Kettle, Puffins Wheel Susan Vande Griek / Knjiga Tvrdi uvez
common.buy 17.11 €
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Knjiga Meki uvez
common.buy 66.53 €
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Knjiga Tvrdi uvez
common.buy 34.53 €
Tuttle Learner's Chinese-English Dictionary Li Dong / Knjiga Meki uvez
common.buy 35.34 €
Eighth Method Brian Bain / Knjiga Meki uvez
common.buy 11.74 €
Superconductors at the Nanoscale Roger Wördenweber / Knjiga Tvrdi uvez
common.buy 159.00 €
Top
Who Are We?, English edition Samuel P. Huntington / Knjiga Meki uvez
common.buy 16.50 €
Housing in Rural America Joseph N. Belden / Knjiga Meki uvez
common.buy 51.44 €
Social work in end-of-life and palliative care Malcolm Payne / Knjiga Meki uvez
common.buy 35.44 €
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Knjiga Meki uvez
common.buy 25.21 €

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