Merkzettel Warenkorb
  • Produktbild: A Journey from Process Algebra via Timed Automata to Model Learning
  • Produktbild: A Journey from Process Algebra via Timed Automata to Model Learning
Band 13560

A Journey from Process Algebra via Timed Automata to Model Learning Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Aus der Reihe Lecture Notes in Computer Science

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2022

Herausgeber

Nils Jansen + weitere

Verlag

Springer

Seitenzahl

581

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

890 g

Auflage

1st edition 2022

Sprache

Englisch

ISBN

978-3-031-15628-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.09.2022

Herausgeber

Verlag

Springer

Seitenzahl

581

Maße (L/B/H)

23,5/15,5/3,2 cm

Gewicht

890 g

Auflage

1st edition 2022

Sprache

Englisch

ISBN

978-3-031-15628-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: [email protected]

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: A Journey from Process Algebra via Timed Automata to Model Learning
  • Produktbild: A Journey from Process Algebra via Timed Automata to Model Learning
  • Non-Finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.-  Operational Causality.- Necessarily Sufficient and Sufficiently Necessary.- Axiomatizing consciousness, with applications.- Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory.- A Survey of Model Learning Techniques for Recurrent Neural Networks.- Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.- Better Automata through Process Algebra.- Family-Based Fingerprint Analysis: A Position Paper.- What's in School? - Topic Maps for Secondary School Computer Science.- Tree-Based Adaptive Model Learning.- From Languages to Behaviors and Back.- The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic.- Equivalence Checking 40 Years After: A Review of Bisimulation Tools.- Apartness and Distinguishing formulas in  Using the parallel ATerm library for parallel model checking and state space generation.- ActiveAutomata Learning as Black-Box Search and Lazy Partition Refinement.- A Reconstruction of Ewens' Sampling Formula via Lists of Coins.- Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof.- Learning Language Intersections.- Runtime verification of compound components with ComMA.- A Basic Compositional Model for Spiking Neural Networks.- State Identification and Verification with Satisfaction.- A Note on the Message Complexity of Cidon’s Distributed Depth-First Search Algorithm.- Minesweeper is difficult indeed!- Goodbye ioco.- Process Algebras and Flocks of Birds.- The Integration of Testing and Program Verification.- Discovering Directly-Follows Complete Petri Nets From Event Data.- Fair Must Testing for I/O Automata.- Passive automata learning: DFAs and NFAs.