Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
Uloženo v:
Korporativní autor: | |
---|---|
Další autoři: | , |
Typ dokumentu: | Kniha |
Jazyk: | Angličtina |
Vydáno: |
Berlin :
Springer,
c2007
|
Edice: | Lecture notes in computer science ;
4591 |
Témata: |
Fyzický popis: | ix, 660 s. |
---|---|
ISBN: | 978-3-540-73209-9 3540732098 |