Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

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 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computer-aided Verification

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

American Mathem American Mathem

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 06319043

Nakladnici American Mathematical Society, lipanj 1991

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

Libristo kod: 06319043

415 b

171.38 €

50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

Meki uvez

23.13 €

Zeis Mati Blum

Meki uvez

15.75 €

Nuvole Bianche Nessa 19971995

Meki uvez

14.84 €

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

Meki uvez

27.88 €

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.