Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Books in English > Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability > Leveraging Applications of Formal Methods, Verification, and Validation

Leveraging Applications of Formal Methods, Verification, and Validation

6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraclion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Anna-Lena Lamprecht

Language

English

Book Paperback

Libristo code: 15496733

Publishers Springer International Publishing AG, December 2016

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Appl... Full description

Libristo code: 15496733

125 b

51.09 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Einführung in die Mathematische Logik Wolfgang Rautenberg

Paperback

39.99 €

Úplně malé kroky Farma neuvedený autor

Board book

1.89 €

Festival Session Duke Ellington Audio

Audio CD

11.19 €

Hindiba Alina Knoflach

Hardback

79.95 €

Burn Your Fire For No Witness Angel Olsen

Audio CD

18.69 €

Kalambury obrazkowe

Game

16.19 €

České Budějovice - malé / vícejazyčné Libor Sváček

Paperback

6.09 €

falschen und fingierten Druckorte Weller Emil Weller

Paperback

26.90 €

Bouquet Au Prince Imperial Et A l'Armee. 20 Mars 1856-2 Fevrier 1857. SANS AUTEUR

Paperback

13.19 €

La guerra no ha terminado : Francia y el exilio antifranquista 1944-1953 Javier Cervera Gil

Paperback

34.19 €

Crise de La Culture Hannah Arendt

Paperback

11.29 €

L'Observateur Au Musee. Exposition de 1839. Peinture, Sculpture Et Gravure Imp de Chassaignon

Paperback

13.19 €

Orthopädie und Traumatologie des Bewegungsapparates Dieter Grob

Paperback

54.99 €

Should I stay or should I go? Fritz Heil

Paperback

74.00 €

Curriculo para la Ensenanza del Idioma Ingles Méric Olivier

Paperback

115.69 €

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraclion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the postconference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the postconference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.