Formal programme development, IFIP TC2/WG 2.1 state of the art report, Bernhard Möller, Helmut Partsch, Steve Schuman (Eds.)
Type
Label
Formal programme development, IFIP TC2/WG 2.1 state of the art report, Bernhard Möller, Helmut Partsch, Steve Schuman (Eds.)
Language
eng
Index
no index present
Literary Form
non fiction
Main title
Formal programme development
Oclc number
1088477950
Responsibility statement
Bernhard Möller, Helmut Partsch, Steve Schuman (Eds.)
Series statement
Lecture notes in computer science, 755
Sub title
IFIP TC2/WG 2.1 state of the art report
Content
Is Part Of
Mapped to
Incoming Resources
- Has instance1
Outgoing Resources
- Contributor3
- Subject2
- Content1
- Is Part Of1
- Mapped to1