Logics of Specification Languages
by Unknown
Wybierz format:
426.09 zł
Opis książki
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.
Szczegóły książki
Autor
Unknown
Wydawnictwo
Springer Berlin
Rok wydania
2007
ISBN
9783540741077
Dostępne formaty
eBook (PDF, EPUB)
Audiobook (MP3)
Język
Polski