Hopp til innhold Hopp til hovedmeny

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

Warren A. Hunt, Jr., Steven D. Johnson (eds.)
Inngår i serie: Lecture notes in computer science (1954)
FMCAD 2000 Bok Engelsk utgitt c2000

Ledig

  • Automatlager: 2 av 2 ledig
Logg inn for flere valg
Henter eksemplarliste...
Fakta
Laster innhold...