Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The p...

Full description

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Albert, Elvira (Editor, http://id.loc.gov/vocabulary/relators/edt), Sekerinski, E (Emil), 1963- (Editor, http://id.loc.gov/vocabulary/relators/edt), Sekerinski, Emil (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Book
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2014
Edition:	1st ed. 2014
Series:	Computer Science (Springer-11645) Computer Science (SpringerNature-11645) LNCS sublibrary Programming and software engineering ; 8739. LNCS sublibrary Programming and software engineering 8739
Subjects:	Compilers (Computer programs) Computer logic Computer science Logic, Symbolic and mathematical Machine theory Programming languages (Electronic computers) Software engineering Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Internet

Similar Items