Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer-aided Verification

Name: Computer-aided Verification
Brand: American Mathematical Society
SKU: 06319043
Price: 163.16 EUR
Availability: InStock
Author: American Mathem American Mathem
ISBN: 9780821865941

American Mathem American Mathem

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 06319043

Založba American Mathematical Society, junij 1991

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Celoten opis

Koda Libristo: 06319043

394 b

163.16 €

50% možnost Preiskali bomo ves svet Kdaj dobim knjigo?

30 dni za vračilo blaga

Drugi so kupili tudi

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi

Mehka

22.07 €

Zeis Mati Blum

Mehka

14.98 €

Nuvole Bianche Nessa 19971995

Mehka

14.17 €

Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes...

Mehka

26.63 €

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.