International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2010 :)
概要
作品: | 1 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Formal methods for quantitative aspects of programming languages = 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
by:
Aldini, Alessandro.; SpringerLink (Online service); International School on Formal Methods for the Design of Computer, Communication, and Software Systems (2010 :)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Antibodies.
Formal methods (Computer science)
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Computer Science.