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.

Computer-aided Verification

Limba englezăengleză
Carte Copertă tare
Carte Computer-aided Verification American Mathem American Mathem
Codul Libristo: 06319043
Editura American Mathematical Society, iunie 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Descrierea completă
? points 436 b
946.63 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Carte Carte broșată
common.buy 127.18 lei
Zeis Mati Blum / Carte Carte broșată
common.buy 87.04 lei
Nuvole Bianche Nessa 19971995 / Carte Carte broșată
common.buy 82.25 lei
Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes... / Carte Carte broșată
common.buy 153.25 lei

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

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 Computer-aided Verification
Autor American Mathem American Mathem
Limba engleză
Legare Carte - Copertă tare
Data publicării 1991
EAN 9780821865941
ISBN 9780821865941
Codul Libristo 06319043
Editura American Mathematical Society
Greutatea 666

Categorii

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer science
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

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Carte Copertă tare
common.buy 688.91 lei
Crystal Path Georgina Easterbrook / Carte Copertă tare
common.buy 109.14 lei
Moo-Cow Kung-Fu-Cow Nick Sharratt / Carte Cărți pliante
common.buy 37.10 lei
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Carte Carte broșată
common.buy 96.22 lei
Getting Started with Grails Rudolph / Carte Carte broșată
common.buy 109.14 lei
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Carte Copertă tare
common.buy 262.92 lei
Patterns of a Network Economy Börje Johansson / Carte Carte broșată
common.buy 601.65 lei
Curând
Sculptured Thin Films Russell F. Messier / Carte Copertă tare
common.buy 509.07 lei
Responsible Management of Information Systems Stahl / Carte Copertă tare
common.buy 483.32 lei
Curând
Invention of the Moving Assembly Line Dennis Abrams / Carte Copertă tare
common.buy 210.79 lei
Curând
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Carte Carte broșată
common.buy 282.00 lei
Computer-aided Method Engineering Ajantha Dahanayake / Carte Copertă tare
common.buy 453.71 lei
First World, Third World William Ryrie / Carte Copertă tare
common.buy 601.65 lei
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Carte Carte broșată
common.buy 291.59 lei
150 Idees Recues Sur L'Histoir FL / Carte Carte broșată
common.buy 132.39 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