CASL User Manual [E-Book] : Introduction to Using the Common Algebraic Specification Language / by Michel Bidoit, Peter D. Mosses.
Bidoit, Michel.
Mosses, Peter D.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
9783540207665
Lecture Notes in Computer Science ; 2900
Full Text
LEADER 00852nmm a22002295u 4500
001 978-3-540-20766-5
003 Springer
020 |a 9783540207665 
035 |a (Sirsi) a215346 
700 1 |a Bidoit, Michel. 
245 1 0 |a CASL User Manual  |h [E-Book] :  |b Introduction to Using the Common Algebraic Specification Language /  |c by Michel Bidoit, Peter D. Mosses. 
260 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2004   |e (Springer LINK) 
300 |a online resource 
490 0 |a Lecture Notes in Computer Science ;  |v 2900 
650 0 |a Computer science 
650 0 |a Logic design 
650 0 |a Software engineering 
700 1 |a Mosses, Peter D. 
856 4 0 |u http://dx.doi.org/10.1007/b11968  |z Volltext 
596 |a 1 
915 |a zzwFZJ2 
949 |a XX(215346.1)  |w AUTO  |c 1  |i 215346-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 29/9/2010  |x UNKNOWN  |z UNKNOWN  |1 ONLINE