Vai al contenuto principale della pagina

The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday / / Wolfgang Ahrendt [and three others], editors



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday / / Wolfgang Ahrendt [and three others], editors Visualizza cluster
Pubblicazione: Cham, Switzerland : , : Springer, , [2022]
©2022
Descrizione fisica: 1 online resource (531 pages)
Disciplina: 005.1015113
Soggetto topico: Computer logic
Computer logic - Study and teaching
Persona (resp. second.): AhrendtWolfgang
Titolo autorizzato: The logic of software  Visualizza cluster
ISBN: 3-031-08166-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910580133903321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science.
Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig
Logics of Programs and Their Applications [[electronic resource] ] : Proceedings, Poznan, August 23-29, 1980 / / edited by A. Salwicki
Third International Conference on Logic Programming [[electronic resource] ] : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / / edited by Ehud Shapiro
Semantics of Concurrent Computation [[electronic resource] ] : Proceedings of the International Symposium Evian, France, July 2-4, 1979 / / edited by G. Kahn