Mark D Aagaard
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science Mark D Aagaard 2002 edition

Name: Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock
Author: Mark D Aagaard

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 3. - 11. nov.

Saņemiet paziņojumus par jauniem Mark D Aagaard izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science

Mark D Aagaard

2002 edition

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation.

408 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2002. gada 23. oktobris
ISBN13	9783540001164
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	408
Izmēri	155 × 235 × 21 mm · 633 g
Valoda	Vācu
Redaktors	Aagaard, Mark D.
Redaktors	O'Leary, John W.