Rajaa
Hakutulokset: 052154310X kuuluu kategoriaan kirjat
Rajaa
yksi hakutulos.
Logic in Computer Science
pokkari,
2004,
englanti,
ISBN 9780521543101
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their …