SULJE VALIKKO

avaa valikko

Reiner Hähnle | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 14 tuotetta
Haluatko tarkentaa hakukriteerejä?



Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held
Reiner Hähnle (ed.); Jens Knoop (ed.); Tiziana Margaria (ed.); Dietmar Schreiner (ed.); Bernhard Steffen (ed.)
Springer (2012)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Deduction in Multiple-Valued Logics
Reiner Hähnle
Oxford University Press (1994)
Kovakantinen kirja
141,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Co
Reiner Hähnle; Wil van der Aalst
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Tableau Methods
M. D'Agostino; Dov M. Gabbay; Reiner Hähnle; J. Posegga
Springer (1999)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino
Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theorem Proving with Analytic Tableaux and Related Methods - 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar
Peter Baumgartner; Reiner Hähnle; Joachim Posegga
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1995)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tests and Proofs - Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Bernhard Beckert; Reiner Hähnle
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Reasoning - 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Jürgen Giesl; Reiner Hähnle
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Tableau Methods
M. D'Agostino; Dov M. Gabbay; Reiner Hähnle; J. Posegga
Springer (2010)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Re
Elena Giachino; Reiner Hähnle; Frank S. de Boer; Marcello M. Bonsangue
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
45,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Deductive Software Verification – The KeY Book - From Theory to Practice
Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Peter H. Schmitt; Mattias Ulbrich
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
117,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, G
Amel Bennaceur; Reiner Hähnle; Karl Meinke
Springer International Publishing AG (2018)
Pehmeäkantinen kirja
57,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Mattias Ulbrich
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Active Object Languages: Current Research Trends
Frank de Boer; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Eduard Kamburjan
Springer International Publishing AG (2024)
Pehmeäkantinen kirja
65,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held
49,60 €
Springer
Sivumäärä: 261 sivua
Asu: Pehmeäkantinen kirja
Painos: 2012
Julkaisuvuosi: 2012, 12.10.2012 (lisätietoa)
Kieli: Englanti
Tuotesarja: Communications in Computer and Information Science 336
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held
Näytä kaikki tuotetiedot
ISBN:
9783642347801
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste