Result 1 to 20 of 112 total
Foundations of algebraic specification and formal software development. (English)
Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-642-17335-6/hbk). xvi, 581~p. EUR~79.95/net; SFR~106.50; \sterling~72.00; \$~99.00 (2012).
1
Heterogeneous logical environments for distributed specifications. (English)
Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13‒16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 266-289 (2009).
2
Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7‒10, 2009. Proceedings. (English)
Lecture Notes in Computer Science 5728. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). xi, 457~p. EUR~66.34 (2009).
3
Special issue: Automata, languages and programming (ICALP 2007). Selected papers based on the presentations at the 34th international colloquium, Wrocław, Poland, July 9‒13, 2007. (English)
Theor. Comput. Sci. 410, No. 18, 1617-1746 (2009).
4
Observability concepts in abstract data type specification, 30 years later. (English)
Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 593-617 (2008).
5
A heterogeneous approach to UML semantics. (English)
Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 383-402 (2008).
6
Observational interpretation CASL specifications. (English)
Math. Struct. Comput. Sci. 18, No. 2, 325-371 (2008).
7
Heterogeneous logical environments for distributed specifications (English)
WADT, 266-289 (2008).
8
A heterogeneous approach to UML semantics (English)
Concurrency, Graphs and Models, 383-402 (2008).
9
Observability concepts in abstract data type specification, 30 years later (English)
Concurrency, Graphs and Models, 593-617 (2008).
10
Toward specifications for reconfigurable component systems. (English)
Kleijn, Jetty (ed.) et al., Petri nets and other models of concurrency ‒ ICATPN 2007. 28th international conference on applications and theory of Petri nets and other models of concurrency, ICATPN 2007, Siedlce, Poland, June 25‒29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73093-4/pbk). Lecture Notes in Computer Science 4546, 24-28 (2007).
11
Automata, languages and programming. 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9‒13, 2007. Proceedings. (English)
Lecture Notes in Computer Science 4596. Berlin: Springer (ISBN 978-3-540-73419-2/pbk). xvii, 953~p. EUR~92.00/net; SFR~160.50; \sterling~71.00; \$~129.00 (2007).
12
Toward specifications for reconfigurable component systems (English)
ICATPN, 24-28 (2007).
13
Horizontal composability revisited. (English)
Futatsugi, Kokichi (ed.) et al., Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Berlin: Springer (ISBN 3-540-35462-X/pbk). Lecture Notes in Computer Science 4060, 296-316 (2006).
14
Horizontal composability revisited (English)
Essays Dedicated to Joseph A. Goguen, 296-316 (2006).
15
FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18‒22, 2005. Proceedings. (English)
Lecture Notes in Computer Science 3582. Berlin: Springer (ISBN 3-540-27882-6/pbk). xiv, 558~p. EUR~68.00/net; sFr~120.50; \sterling~52.50; \$~95.00 (2005).
16
A simple refinement language for Casl. (English)
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 17th international workshop, WADT 2004, Barcelona, Spain, March 27‒29, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25327-0/pbk). Lecture Notes in Computer Science 3423, 162-185 (2005).
17
Amalgamation in the semantics of CASL. (English)
Theor. Comput. Sci. 331, No. 1, 215-247 (2005).
18
Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20‒24, 2004. Proceedings. (English)
Lecture Notes in Computer Science 3210. Berlin: Springer (ISBN 3-540-23024-6/pbk). xi, 520~p. EUR~64.00; sFr~113.00; \sterling~49.00; \$~89.00 (2004).
19
A simple refinement language for casl (English)
WADT, 162-185 (2004).
20
Result 1 to 20 of 112 total
Start
Contact
Print
General Help
