Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Produktbild: Formal Methods: Foundations and Applications
Band 14414

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science

Fr. 79.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.12.2023

Herausgeber

Haniel Barbosa + weitere

Verlag

Springer

Seitenzahl

153

Maße (L/B/H)

23.5/15.5/1 cm

Gewicht

277 g

Auflage

1st edition 2024

Sprache

Englisch

ISBN

978-3-031-49341-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.12.2023

Herausgeber

Verlag

Springer

Seitenzahl

153

Maße (L/B/H)

23.5/15.5/1 cm

Gewicht

277 g

Auflage

1st edition 2024

Sprache

Englisch

ISBN

978-3-031-49341-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Formal Methods: Foundations and Applications
  • Specification and Modeling Languages .- A Formal Model for Startups Financial Transactions.- A Haskell-embedded DSL for Secure Information-flow.- CSP Specification and Verification of a Relay-Based Rail Interlocking System.- ULKB Logic: A HOL-based framework for reasoning over knowledge graphs.-  Testing .- Language-based Testing for Pushdown Reactive Systems.- Sound Test Case Generation for Concurrent Mobile Features.-  Verification and Validation .- Automated code generation for DES controllers modeled as Finite State Machines.- AutomaTutor: An Educational Mobile App for Teaching Automata Theory.- ESBMC v7.3: Model Checking C++ Programs using Clang.