• Home /
  • Descriptional Complexity of Formal Systems (eBook)

Descriptional Complexity of Formal Systems (eBook)

27th IFIP WG 1.02 International Conference, DCFS 2026, Kingston, ON, Canada, August 9-11, 2026, Proceedings
Artikelnummer: 978-3-032-32016-2
Einband: PDF
Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)
CHF 68.50
decrease increase

This book constitutes the refereed proceedings of the 27th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2026, held in Kingston, ON, Canada, during August 9-11, 2026.

The 13 full papers included in this book were carefully reviewed and selected from 14 submissions. They focus on the Descriptional Complexity of Automata, Grammars, and Related Structures, Formal Descriptions and Software Reliability.

This book constitutes the refereed proceedings of the 27th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2026, held in Kingston, ON, Canada, during August 9-11, 2026.

The 13 full papers included in this book were carefully reviewed and selected from 14 submissions. They focus on the Descriptional Complexity of Automata, Grammars, and Related Structures, Formal Descriptions and Software Reliability.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer International Publishing
EinbandPDF
Erscheinungsjahr2026
Seitenangabe177 S.
AusgabekennzeichenEnglisch
AbbildungenXX, 177 p. 48 illus., 13 illus. in color.
Masse7'807 KB
PlattformPDF
ReiheLecture Notes in Computer Science; Computer Science; Computer Science ; Springer Nature Proceedings Computer Science
AutorCâmpeanu, Cezar (Hrsg.) / Prigioniero, Luca (Hrsg.) / Smith, Taylor J. (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science; Computer Science; Computer Science (R0); Springer Nature Proceedings Computer Science"

Weitere Titel von Cezar (Hrsg.) Câmpeanu

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten