• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • Formal Models of Communicating...
  • Description
Language
  • Advanced
Cover Image
Read Now

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Bibliographic Details
Main Author: Bollig, Benedikt
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2006, 2006
Edition:1st ed. 2006
Subjects:
Computer Communication Networks
Software Engineering
Computer Science
Algorithms
Formal Languages And Automata Theory
Computer Networks 
Machine Theory
Theory Of Computation
Online Access:
https://doi.org/10.1007/3-540-32923-4?nosfx=y
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Table of Contents
  • Staff View
Description
Physical Description:IX, 181 p online resource
ISBN:9783540329237

Similar Items

  • Formal Methods in Systems Engineering
    Published: (1993)
  • mural: A Formal Development Support System
    by: Jones, C.B., et al.
    Published: (1991)
  • Programming-Based Formal Languages and Automata Theory : Design, Implement, Validate, and Prove
    by: Morazán, Marco T.
    Published: (2024)
  • Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
    Published: (2012)
  • Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
    Published: (2015)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...