✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 476.753 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Theoretical Aspects of Computer Software

Theoretical Aspects of Computer Software

Softcover - 9783540633884
106,99 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.

Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 27. August 1997
Maße 23.5 cm x 15.5 cm
Gewicht 984 Gramm
Format Softcover
ISBN-13 9783540633884
Seiten 648

Schlagwörter

Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Software Engineering, Theoretische Informatik, Theory of Computation

Herstellerinformationen +