Scilit logo
  • Rankings
  • Search Publications
    Cited-By Search
  • Sources
  • Publishers
  • Scholars
    Top Cited Scholars
  • Organizations
  • About
Register
  1. Home
  2. Publications
  3. Foundations of Software Science and Computation Structures
  1. Home
  2. Publications
  3. Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Open Access
Publisher Website
Google Scholar
  • 23 March 2001
    • book
    • Published by Springer Nature
    • https://doi.org/10.1007/3-540-45315-6
Abstract
No abstract available
Keywords
  • SOFTWARE ENGINEERING
  • AUTOMATA
  • COMPLEXITY
  • COMPLEXITY THEORY
  • COMPUTATIONAL STRUCTURES
  • FORMAL METHODS
  • FORMAL VERIFICATION
  • LOGIC
  • MATHEMATICAL FOUNDATIONS
  • MODEL CHECKING
  • PETRI NET
  • PROGRAMMING
  • PROGRAMMING LANGUAGE
  • PROGRAMMING THEORY
  • VERIFICATION

This publication has 0 references indexed in Scilit:

Scilit logo

Have questions? Email us at support@scilit.com

© 2025 Scilit is subsidized by MDPI.

MDPI initiatives

  • MDPI Journals
  • MDPI Books
  • Sciforum
  • Proceedings Series
  • Preprints.org
  • SciProfiles
  • Encyclopedia
  • JAMS

Legal

  • Privacy
  • Terms
  • About
  • Contact
  • Disclaimer

Follow us

  • facebook icon
  • x icon
  • linkedin icon

Join us

  • Career

© 2025 Scilit is subsidized by MDPI.