Katalog GES

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were... Full description

1st Person: Eleftherakis, George [editor]
Additional Corporate Bodies: SpringerLink (Online service)
Additional Persons: Hinchey, Mike [editor]; Holcombe, Mike [editor]
Type of Publication: Book
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2012, 2012
Edition: 1st ed. 2012
Series: Programming and Software Engineering
Keywords: Mathematical Logic and Formal Languages
Computer Communication Networks
Software engineering
Computer science
Artificial Intelligence
Logics and Meanings of Programs
Computer Communication Networks
Logic design
Artificial intelligence
Programming Languages, Compilers, Interpreters
Software Engineering
Online: Volltext
  Search for full text



Similar Items

Cannot find similar records

Library Services

Search Options

Quick links