Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

Edited book

Cesare Tinelli and Viorica Sofronie-Stokkermans

Lecture notes in computer science, Springer

2011

DOI: 10.1007/978-3-642-24364-6

View Online

Computer Science

Software Engineering

Artificial intelligence

Computer software

Logic design

Title: Subtitle: Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Creators: Cesare Tinelli (Editor) - University of Iowa
Viorica Sofronie-Stokkermans (Editor) - Max Planck Society
Resource Type: Edited book
Publisher: Springer; Berlin, Heidelberg
Series: Lecture notes in computer science
DOI: 10.1007/978-3-642-24364-6
ISBN: 3642243649; 9783642243646
Number of pages: 1 volume
Language: English
Date published: 2011
Academic Unit: Computer Science
Record Identifier: 9984411103002771

2 Record Views