Formal Methods for Eternal Networked Software Systems
Formal Methods for Eternal Networked Software Systems
Details
- Pages
- 527
- ISBN-13
- 9783642214554
- OL Work ID
- OL16940176W
Subjects
Information systemsComputer scienceSoftware engineeringInformatiqueComputer networksFormal methods (Computer science)CongressesComputer software, developmentSystem designComputer architectureProgramming Languages, Compilers, InterpretersMathematical Logic and Formal LanguagesSoftware Engineering/Programming and Operating SystemsInformation Systems Applications (incl.Internet)