FME 2003: Formal Methods
Subtitle: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science)
Contributors: Keijiro Araki (Editor); Stefania Gnesi (Editor); Dion Mandrioli (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 10, 2003
Language: eng
Format: Paperback
Number of pages: 942
ISBN-13: 9783540408284
Subjects: Software engineering; Mathematics; Congresses; Programming Languages - General; Computer Books: General; Computers; Computers - Languages / Programming; Logic Design; Formal methods (Computer science); Development; Programming - Software Development; Computers / Logic Design; System design; Computer Bks - Languages / Programming; Computer software; Formal methods (Computer scien
First sentence: The direct origins of modern fault-tolerant computing lie in John von Neumann's influential work in the early 1950s on "Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components" [22].