Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Formal methods (Computer science)
Méthodes formelles (Informatique)
Informatique.
Computer science
Software engineering
Operating systems (Computers)
Logic design
Programming Languages, Compilers, Interpreters
Operating Systems
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Techniques
computerwetenschappen
computer sciences
programmeertalen
programming languages
programmeren
programming
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
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 (xi, 391 pages) :illustrations
ISBN:9783642252716
3642252710
3642252702
9783642252709