Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn Talcott
e.a.
All About Maude - A High-Performance Logical Framework
How to Specify, Program, and Verify Systems in Rewriting Logic
Paperback Engels 2007 2007e druk 9783540719403Levertijd ± 9 werkdagen
Gratis verzonden
Samenvatting
Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.
Specificaties
ISBN13:9783540719403
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:802
Uitgever:Springer Berlin Heidelberg
Druk:2007
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan