004.4(063)/B10-847659 B 2007: formal specification and development in B [Electronic resource] : 7th international conference of B users, Besancon, France, January 17-19, 2007 : proceedings / eds. J. Julliand, O. Kouchnarenko. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4355). - ISBN 978-3-540-68761-0 : Б. ц.
Программы для ЭВМ--Спецификация--Съезды и конференции См. : Текст издания Доп.точки доступа: Julliand, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.415.28/F48-770148 Recent trends in algebraic development techniques [Electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006: revised selected papers / ed. J. Fiadeiro. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4409). - ISBN 978-3-540-71998-4 : Б. ц.
См. : Текст издания Доп.точки доступа: Fiadeiro, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.415.28(063) R31 Recent trends in algebraic development techniques [Electronic resource] : 17th International workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004: revised selected papers / ed. J. Fiadeiro [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3423). - ISBN 978-3-540-31959-7 : Б. ц.
См. : Текст издания Доп.точки доступа: Fiadeiro, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.415.28(063) R31 Recent trends in algebraic development techniques [Electronic resource] : 19th International workshop, WADT 2008, Pisa, Italy, June 13-16, 2008: rev. sel. papers / ed.: A. Corradini, U. Montanari. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5486). - ISBN 978-3-642-03429-9 : Б. ц.
Кл.слова (ненормированные): программы для эвм -- спецификация -- конференции См. : Текст издания Доп.точки доступа: Corradini, A. \ed.\; Montanari, U. \ed.\; SpringerLink (Online service) Свободных экз. нет |
004.415.28(063)/Z40-774408 ZB 2005: formal specification and development in Z and B [Electronic resource] : 4th International conference of B and Z users, Guilford,UK, April 13-15, 2005: proceedings / ed. H. Treharne. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3455). - Б. ц.
Программы для ЭВМ--Спецификация--Съезды и конференции См. : Текст издания Доп.точки доступа: Treharne, H. \ed.\; SpringerLink (Online service) Свободных экз. нет |