Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science - Cornell University - Boeken - Springer-Verlag New York Inc. - 9780387972268 - 14 februari 1990
Indien omslag en titel niet overeenkomen, is de titel correct

Cornell University
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.

412 pages

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 14 februari 1990
ISBN13 9780387972268
Uitgevers Springer-Verlag New York Inc.
Pagina's 404
Afmetingen 155 × 235 × 21 mm   ·   576 g
Taal en grammatica Engels  
Uitgever Brown, Geoffrey
Uitgever Leeser, Miriam

Meer door Cornell University

Alles tonen

Bekijk alles van Cornell University ( bijv. Hardcover Book en Paperback Book )