All about Maude : a high-performance logical framework : how to specify, program and verify systems in rewriting logic

Podrobná bibliografie

Další autoři:	Clavel, Manuel, 1969- (Autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 2007
Edice:	Lecture notes in computer science, 4350 Tutorial
Žánr/forma:	monografie
ISSN:	0302-9743 ;
ISBN:	978-3-540-71940-3 3-540-71940-7
Témata:	programovací jazyky verifikace programu objektově orientované programování testování sémantika programovacích jazyků
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!