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

Logics of Specification Languages

Logics of Specification Languages

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

Weitere Formate

Hardcover - 9783540741060
160,49 €

Autorenfreundlich Bücher kaufen?!

Weitere Formate

Hardcover - 9783540741060
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 22. November 2010
Maße 23.5 cm x 15.5 cm
Gewicht 979 Gramm
Format Softcover
ISBN-13 9783642093456
Auflage Softcover reprint of hardcover 1st ed. 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

Widerrufsantrag einreichen

Füllen Sie das folgende Formular aus, um Ihren Widerrufsantrag einzureichen.