Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and...
Πλήρης περιγραφή
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: |
SpringerLink (Online service) |
Άλλοι συγγραφείς: |
Börger, Egon
(Επιμελητής έκδοσης),
Butler, Michael
(Επιμελητής έκδοσης),
Bowen, Jonathan P.
(Επιμελητής έκδοσης),
Boca, Paul
(Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή
Ηλ. βιβλίο
|
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2008.
|
Σειρά: | Lecture Notes in Computer Science,
5238
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link
|