OL37155545M
Software Engineering and Formal Methods
George Eleftherakis
- Publisher
- Springer Berlin / Heidelberg
- Published
- 2012
- ISBN-13
- 9783642338250
- ISBN-10
- Unavailable
- Work ID
- OL19902693W
Description
Metadata and publication details for Software Engineering and Formal Methods by George Eleftherakis.
Subjects
Mathematical Logic and Formal LanguagesSoftware engineeringComputer networksLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersArtificial intelligenceArtificial Intelligence (incl. Robotics)CongressesFormal methods (Computer science)Computer Communication Networks