Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20,

Main Author: Aichernig, Bernhard K
Other Authors: Maibaum, Tom
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2003
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
LEADER 01352nmm a2200337 u 4500
001 EB000286645
003 EBX01000000000000000052329
005 00000000000000.0
007 cr|||||||||||||||||||||
008 101003 |||
020 |a 9783540205272 
020 |a 978-3-540-20527-2 
100 1 |a Aichernig, Bernhard K 
245 0 0 |a Formal Methods at the Crossroads. From Panacea to Foundational Support  |h Elektronische Ressource  |b 10th Anniversary Colloquium of UNUIIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20,  |c by Bernhard K Aichernig, Tom Maibaum 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2003 
300 |b v. digital 
700 1 |a Maibaum, Tom 
989 |b LNCS  |a Lecture Notes in Computer Science 
490 0 |a Lecture Notes in Computer Science 
856 |u http://www.springerlink.com/content/3m7qebffxg3t?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004 
650 4 |a Computer science 
650 4 |a Logic design 
650 4 |a Software engineering 
650 4 |a Computer Science 
650 4 |a Computer Science, general 
650 4 |a Logics and Meanings of Programs 
650 4 |a Mathematical Logic and Formal Languages 
650 4 |a Programming Languages, Compilers, Interpreters 
650 4 |a Software Engineering