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

Logics of Specification Languages

Logics of Specification Languages

Hardcover - 9783540741060
160,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 7 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Weitere Formate

Softcover - 9783642093456
160,49 €

Autorenfreundlich Bücher kaufen?!

Weitere Formate

Softcover - 9783642093456
160,49 €

Beschreibung

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application.

In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Details

Verlag Springer Berlin
Ersterscheinung 07. Dezember 2007
Maße 23.5 cm x 15.5 cm
Gewicht 1136 Gramm
Format Hardcover
ISBN-13 9783540741060
Auflage 2008
Seiten 624

Schlagwörter

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