Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 2000 - Warren A. Hunt - książka wyd. 2000
32,43 zł 45,00 zł
tezeusz.pl Zobacz w sklepie Opis
"Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000" to publikacja zawierająca materiały z konferencji poświęconej formalnym metodom w projektowaniu komputerowym. Konferencja odbyła się w Austin, Teksas, w dniach 1–3 listopada 2000 roku. Zawarte w niej prace dotyczą modelowania, weryfikacji oraz analizy systemów komputerowych, a także zastosowania metod matematycznych w projektowaniu sprzętu i oprogramowania