Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Verification of Sequential and Concurrent Programs

Limba englezăengleză
Carte Carte broșată
Carte Verification of Sequential and Concurrent Programs Ernst-Rudiger Olderog
Codul Libristo: 08577018
Editura Springer London Ltd, martie 2012
This book explores one of the most common approaches to program verification, known as the assertion... Descrierea completă
? points 206 b
447.04 lei
În depozitul extern Expediem în 8-11 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Carte Copertă tare
common.buy 284.40 lei
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Carte Carte broșată
common.buy 80.06 lei
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Carte Carte broșată
common.buy 56.18 lei
Мёртвые души Николай Гоголь / Carte Carte broșată
common.buy 46.70 lei
Samsø Kulturreiseführer Kristen Benning / Carte Carte broșată
common.buy 99.45 lei
Quand les animaux nous font du bien Paoli laurence / Carte Carte broșată
common.buy 135.94 lei
Le second crime de la Dame en noir - roman Lorde Carte Carte broșată
common.buy 126.55 lei
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Carte Carte broșată
common.buy 155.02 lei
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Carte Carte
common.buy 99.66 lei
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Carte Carte broșată
common.buy 193.90 lei
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Carte Carte broșată
common.buy 50.76 lei
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Carte Carte broșată
common.buy 453.71 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Verification of Sequential and Concurrent Programs
Autor Ernst-Rudiger Olderog
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 502
EAN 9781447125136
ISBN 9781447125136
Codul Libristo 08577018
Editura Springer London Ltd
Greutatea 746
Dimensiuni 156 x 235 x 28

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Who Wrote The Book of Death? MR Steve Liskow / Carte Carte broșată
common.buy 91.84 lei
"JEALOUSY" Sarah Flowers / Carte Carte broșată
common.buy 86.00 lei
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Carte Carte broșată
common.buy 146.57 lei
Hawks Kettle, Puffins Wheel Susan Vande Griek / Carte Copertă tare
common.buy 94.24 lei
Stars in His Eyes Marti Gironell / Carte Copertă tare
common.buy 136.98 lei
Real Estate Smart: The New Home Buying Guide Matt Parker / Carte Carte broșată
common.buy 61.92 lei
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Carte Carte broșată
common.buy 367.07 lei
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Carte Copertă tare
common.buy 189.94 lei
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Carte Carte broșată
common.buy 139.80 lei
Eighth Method Brian Bain / Carte Carte broșată
common.buy 64.94 lei
Top
Who Are We?, English edition Samuel P. Huntington / Carte Carte broșată
common.buy 92.26 lei
Housing in Rural America Joseph N. Belden / Carte Carte broșată
common.buy 285.96 lei
Social work in end-of-life and palliative care Malcolm Payne / Carte Carte broșată
common.buy 195.99 lei
Tuttle Learner's Chinese-English Dictionary Li Dong / Carte Carte broșată
common.buy 193.38 lei
Superconductors at the Nanoscale Roger Wördenweber / Carte Copertă tare
common.buy 877.92 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?