Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Correct Hardware Design and Verification Methods

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
BookPaperback
Ranking8443in
CHF120.00

Description

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods.
More descriptions

Details

ISBN/GTIN978-3-540-42541-0
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date27/08/2001
SeriesLecture Notes in Computer Science
Series no.2144
Pages488 pages
LanguageEnglish
SizeWidth 155 mm, Height 233 mm
Weight1540 g
Article no.1529710
CatalogsBuchzentrum
Data source no.3457756
More details

Series

Author

More products from Margaria, Tiziana

Editor

Subjects

BZ
Architecture, Computer
C
Computation ~ Theory of Computation
Computer Science Logic and Foundations of Programming
Computer System Implementation
Computer architecture & logic design
Computer logic
Computer programming / software engineering
Computer, Architecture
Computers
Engineering ~ Software Engineering
Engineering ~ Software Engineering/Programming and Operating Systems
Foundations ~ Computer Science Logic and Foundations of Programming
Implementation ~ Computer System Implementation
Logic ~ Computer Science Logic and Foundations of Programming
Logics and Meanings of Programs
Mathematical theory of computation
Meanings ~ Logics and Meanings of Programs
Operating systems
Operating ~ Software Engineering/Programming and Operating Systems
Programming ~ Computer Science Logic and Foundations of Programming
Programming ~ Software Engineering/Programming and Operating Systems
Programs ~ Logics and Meanings of Programs
Science ~ Computer Science Logic and Foundations of Programming
Software Engineering
Software Engineering/Programming and Operating Systems
System ~ Computer System Implementation
Systems ~ Software Engineering/Programming and Operating Systems
Theory of Computation
and ~ Computer Science Logic and Foundations of Programming
and ~ Logics and Meanings of Programs
and ~ Software Engineering/Programming and Operating Systems
architecture ~ Computer architecture & logic design
computation ~ Mathematical theory of computation
computer hardware
computer science
design ~ Computer architecture & logic design
engineering ~ Computer programming / software engineering
hardware ~ computer hardware
logic ~ Computer architecture & logic design
logic ~ Computer logic
programming ~ Computer programming / software engineering
science ~ computer science
software ~ Computer programming / software engineering
systems ~ Operating systems
theory ~ Mathematical theory of computation
VLB main reading rationale