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 Item type:
Périodique
| Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| 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:
| 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 |
There are no comments on this title.