Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Computer systems
Logic design.
Software engineering.
Computer programming.
Electronic Data Processing
Informatique.
Structure logique.
Génie logiciel.
Systèmes informatiques
Programmation (Informatique)
computer programming.
Software engineering
Logic design
Model Checking
Congress
proceedings (reports)
Festschriften
Conference papers and proceedings
Conference papers and proceedings.
Festschriften.
Actes de congrès.
Aufsatzsammlung.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Summary goes here
Item Description:General Notes
Physical Description:1 online resource (vi, 230 pages) :illustrations
ISBN:9783540698500
3540698507
3540698493
9783540698494