Normal view MARC view ISBD view

ZB 2003: Formal specification and development in Z and B: Third inetrnational conference of B and Z users Turku, Finland, June 4-6, 2003 proceedings

Material type: materialTypeLabel

BookSeries: 2651. Lecture notes in computer science.Publisher: Berlin: Springer-Verlag, 2003Description: 545 p.; Index.: 23 cm.ISBN: 9783540402534.Subject(s): Alloy | Z Language | B Language | Formal SpecificationDDC classification: 004

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		004 BER (Browse shelf)	Available		007284

Previous								Next
Previous	004 BEL Database and XML Technologies : First International XML Database Symposium, XSym 2003, Berlin, Germany, September 2003 ; Proceedings	004 BEN Machine learning for multimodal interaction : first international workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004 ; revised selected papers	004 BER Planning and implementing your final year project - with success!: A guide for students in computer science and information systems	004 BER ZB 2003: Formal specification and development in Z and B: Third inetrnational conference of B and Z users Turku, Finland, June 4-6, 2003 proceedings	004 BER Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings	004 BER Digital and Image Geometry : Advanced Lectures	004 BER From semantics to computer science : essays in honour of Gilles Kahn	Next

There are no comments for this item.

Koha online