Normal view MARC view ISBD view

From semantics to computer science : essays in honour of Gilles Kahn

Material type: materialTypeLabel

BookPublisher: Cambridge: Cambridge University Press, 2009Description: xix, 574 p.; ill.: 25 cm.ISBN: 9780521518253 .Subject(s): Computer science | Semantics | Determinacy in a synchronous | Grammars as software librariesDDC 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		029607

Previous								Next
Previous	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	004 BER Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures	004 BER Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures	004 BIT Use case modeling	Next

There are no comments for this item.

Browse results

Koha online