Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

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

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

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Partial Order Methods in Verification

Name: Partial Order Methods in Verification
Brand: American Mathematical Society
SKU: 04461033
Price: 798.76 RON
Availability: InStock
Author: Doron Peled
ISBN: 9780821805794

Doron Peled

Limba

engleză

Carte Copertă tare

Codul Libristo: 04461033

Editura American Mathematical Society, aprilie 1997

Presents surveys on the theory and practice of modeling, specifying, and validating concurrent syste... Descrierea completă

Codul Libristo: 04461033

369 b

798.76 lei

șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

30 de zile pentru retur bunuri

Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.