Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Computer-aided Verification

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

American Mathem American Mathem

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 06319043

Nakladateľstvo American Mathematical Society, jún 1991

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Celý popis

Libristo kód: 06319043

415 b

171.77 €

50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Brožovaná

24.20 €

Zeis Mati Blum

Brožovaná

14.98 €

Nuvole Bianche Nessa 19971995

Brožovaná

14.17 €

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

Brožovaná

27.94 €

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.