Formal methods in system design

Type de document : PériodiqueLangue : anglais.Pays: Etats Unis.Éditeur : Dordrecht : Kluwer : Springer, 1992-ISSN: 0925-9856.État de collection : Vol. 1 n° 1 (1992) ; Vol. 4 (1994) - Vol. 21 (2002)
Lacunes : Vol. 6 (1995) ; Vol. 7 (1995) ; Vol. 14 n° 2 (1999)En-ligne : via Portail Math : 1992-2017 | Springerlink : 1992-2014
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Périodique Périodique CMI
Réserve 		pério-11013 (Browse shelf(Opens below)) Consultation sur place

Vol. 1 n° 1 (1992) ; Vol. 4 (1994) - Vol. 21 (2002)

Lacunes : Vol. 6 (1995) ; Vol. 7 (1995) ; Vol. 14 n° 2 (1999)

This is a serial

There are 1 subscription(s) associated with this title.

Subscription from: 01/01/2005 to: 31/12/2005

Missing issues: 6(1995), 7(1995), 14(1999)#2

Collection : 1(1992)#1, 4(1994)-21(2002)

The 3 latest issues for this subscription:

Latest serials
Issue # Publication date Received date Status Note
21#3 01/06/2002 01/06/2002 Arrived
21#2 01/04/2002 01/04/2002 Arrived
21#1 01/02/2002 01/02/2002 Arrived

More details

There are no comments on this title.

to post a comment.