Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science, 7504)
Product Description
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science, 7504)
Technical Specifications
You might also like
Technologien fuer das Lichtmanagement in organischen Leuchtdioden (German Edition)
Multiscale Modeling of Cardiac Electrophysiology: Adaptation to Atrial and Ventricular Rhythm Disorders and Pharmacological Treatment (Karlsruhe ... / Institute of Biomedical Engineering)
Temperaturbasierte Methoden zur Bestimmung der Lebensdauer und Stabilisierung von LEDs im System (Spektrum der Lichttechnik / Karlsruher Institut fuer ... Lichttechnisches Institut) (German Edition)
Privatheit und Datenschutz in der intelligenten Ueberwachung: Ein datenschutzgewaehrendes System, entworfen nach dem "Privacy by Design" Prinzip (German Edition)
Untersuchung der Bildung und Oxidation von Russ in Motoren mit Direkteinspritzung (German Edition)
Using Fine Grain Approaches for highly reliable Design of FPGA-based Systems in Space
Advanced Signaling Support for IP-based Networks
Haptic Guidance for Extended Range Telepresence