عنوان
پدید آورنده
موضوع
رده
QA,76.9,.L63,C6555,2007
QA
,
76
.
9
,.
L63
,
C6555
,
2007
کتابخانه
محل استقرار
3540719407
IR
ebook48453
انگلیسی
IR
All About Maude--A High-performance Logical Framewor
[Electronic Resource]
:How to Specify, Program and Verify Systems in Rewriting Logic
/ Manuel Clavel ... [et al.
Berlin
: Springer-Verlag,
, c2007.
xxii, 797 p.
: ill.
(Lecture notes in computer science,0302-9743
(LNCS sublibrary.SL 2,Programming and software engineering.)
; 4350)
e
Includes bibliographical references and indexes.
Computer logic.
Rewriting systems (Computer science)
Human information processing.
QA
,
76
.
9
,.
L63
,
C6555
,
2007
Clavel, Manuel, 1969
SpringerLink (Online service
ایران
QA,76.9,.L63,C6555,2007
9783540719403.pdf
0
old catalog
e
BL
1
a
Y
