Formal methods [electronic resource] : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers / Luboš Brim [and others] (eds.)
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | |
Other title: | FMICS 2006. PDMC 2006. |
Format: | Electronic Conference Proceeding eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2007.
|
Series: | Lecture notes in computer science ;
4346. |
Subjects: |
Closed Stacks - Engineering Math & Physics Library - Stacks
Call Number: |
QA76.9.F67 I594 2006
|
---|---|
QA76.9.F67 I594 2006 | Long missing |