KIRJAUDU

ostoskori

avaa valikko

Reiner Hähnle | Akateeminen Kirjakauppa

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

ACTIVE OBJECT LANGUAGES: CURRENT RESEARCH TRENDS

Frank de Boer (ed.); Ferruccio Damiani (ed.); Reiner Hähnle (ed.); Einar Broch Johnsen (ed.); Eduard Kamburjan (ed.)
Springer (2024)
Pehmeäkantinen kirja

67,40 €

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

51,40 €

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

51,40 €

AUTOMATED DEDUCTION IN MULTIPLE-VALUED LOGICS

Reiner Hähnle
Oxford University Press (1994)
Kovakantinen kirja

147,40 €

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

51,40 €

HANDBOOK OF TABLEAU METHODS

M. D'Agostino; Dov M. Gabbay; Reiner Hähnle; J. Posegga
Springer (1999)
Kovakantinen kirja

179,00 €

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

101,40 €

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

51,40 €

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

51,40 €

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

101,40 €

HANDBOOK OF TABLEAU METHODS

M. D'Agostino; Dov M. Gabbay; Reiner Hähnle; J. Posegga
Springer (2010)
Pehmeäkantinen kirja

179,00 €

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

47,40 €

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

121,40 €

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

59,40 €

Hae lisää...

Active Object Languages: Current Research Trends

Frank de Boer (ed.), Ferruccio Damiani (ed.), Reiner Hähnle (ed.), Einar Broch Johnsen (ed.), Eduard Kamburjan (ed.)

67,40 €

Springer
Sivumäärä: 375 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2024, 29.01.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 14360

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus