Algebraic methodology and software technology [E-Book] : 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 : proceedings / ed. by J. Meseguer ...
Meseguer, J., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540799801 (e-book)
9783540799795
Lecture notes in computer science ; 5140
Full Text
Description not available.