Key-title  

Formal methods in system design (Dordrecht. Online)

Identifiers
Resource information
Archival Status
logo Keepers

Title proper: Formal methods in system design.

Country: Netherlands

Medium: Online


logo Keepers
Status Publisher Keeper From To Updated Extent of archive
Preserved

Springer

CLOCKSS Archive

1992

2024

25/03/2024

1 to 61, 125
In Progress

Springer

LOCKSS Archive

2012

2019

25/03/2024

40, 41, 54, 55
Preserved

Springer

LOCKSS Archive

2013

2018

25/03/2024

42 to 53
Preserved

Springer

Library of Congress

2017

2022

23/02/2024

51 (2, 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (1 to 3); 58 (1-2, 3); 59 (1-3); 60 (1, 2)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2022

08/01/2024

Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 6 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

25/07/2023

Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

13/10/2023

Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

Kluwer Academic Publishers

National Library of the Netherlands

1997

2019

20/10/2023

Preserved : 10 (1, 2); 11 (1-3); 12 (1-3); 13 (1-3); 14 (1-3); 15 (1-3); 16 (1-3); 17 (1-3); 18 (1-3); 19 (1-3); 20 (1-3); 21 (1-3); 22 (1-3); 23 (1-3); 24 (1-3); 25 (1, 2); 26 (1-3); 27 (1-2, 3); 28 (1-3); 29 (1, 3); 30 (1-3); 31 (1-3); 32 (1-3); 33 (1-3); 34 (2, 3); 35 (1, 3); 36 (1-3); 37 (1, 2-3); 38 (1-3); 39 (1-3); 40 (1-3); 41 (1-3); 42 (1-3); 43 (1-3); 44 (1-3); 45 (1-3); 46 (1-3); 47 (1-3); 48 (1-2, 3); 49 (1-2, 3); 50 (1, 2-3); 51 (1-3); 52 (1-3); 53 (1-3); 54 (1-3)
Preserved

Springer

Portico

2007

2007

26/03/2024

Preserved : 2007: 30(1)
Preserved

Springer

Portico

2008

2022

26/03/2024

Preserved : 2008: 33(1-3), 2009: 34(1-3), 2009: 35(1-3), 2010: 36(1-3), 2010: 37(1-3), 2011: 38(1-3), 2011: 39(1-3), 2012: 40(2-3), 2012: 41(1, 3), 2013: 42(1-3), 2013: 43(1-3), 2014: 44(1-3), 2014: 45(1-3), 2015: 46(2-3), 2015: 47(1-3), 2016: 48(1-3), 2016: 49(1-3), 2017: 50(1-3), 2017: 51(1-3), 2018: 52(1-3), 2018: 53(1-3), 2019: 54(1-3), 2019/2020: 55(1-3), 2020: 56(1-3), 2021: 57(1-3), 2021: 58(1-3), 2022: 60(1-3), 2022: 61(1-3)
Preserved

Springer

Scholars Portal

1992

2022

02/03/2024

Preserved : 1 (1, 2-3, 4); 2 (1 to 3); 3 (1-2, 3); 4 (1 to 3); 5 (1-2, 3); 6 (1 to 3); 7 (1-2, 3); 8 (1 to 3); 9 (1/2, 3); 10 (1, 2-3); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 20 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2-3); 26 (1 to 3); 27 (1-2, 3); 28 (1 to 3); 29 (1 to 3); 30 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1-3); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2-3); 38 (1 to 3); 39 (1 to 3); 40 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1 to 3); 46 (1 to 3); 47 (1 to 3); 48 (1-2, 3); 49 (1-2, 3); 50 (1, 2-3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3); 60 (2, 3); 61 (1); 125
Archival Status
Status Publisher Keeper From To Updated Extent of archive
Preserved

Springer

CLOCKSS Archive

1992

2024

25/03/2024

1 to 61, 125
In Progress

Springer

LOCKSS Archive

2012

2019

25/03/2024

40, 41, 54, 55
Preserved

Springer

LOCKSS Archive

2013

2018

25/03/2024

42 to 53
Preserved

Springer

Library of Congress

2017

2022

23/02/2024

51 (2, 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (1 to 3); 58 (1-2, 3); 59 (1-3); 60 (1, 2)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2022

08/01/2024

Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 6 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

25/07/2023

Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

13/10/2023

Preserved : 1 (1, 2); 2 (1 to 3); 3 (1 to 3); 4 (1 to 3); 5 (1, 2); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2); 26 (1 to 3); 27 (1, 3); 28 (1 to 3); 29 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2); 38 (1 to 3); 39 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1, 3); 46 (2, 3); 47 (1 to 3); 48 (1, 3); 49 (1, 3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3)
Preserved

Kluwer Academic Publishers

National Library of the Netherlands

1997

2019

20/10/2023

Preserved : 10 (1, 2); 11 (1-3); 12 (1-3); 13 (1-3); 14 (1-3); 15 (1-3); 16 (1-3); 17 (1-3); 18 (1-3); 19 (1-3); 20 (1-3); 21 (1-3); 22 (1-3); 23 (1-3); 24 (1-3); 25 (1, 2); 26 (1-3); 27 (1-2, 3); 28 (1-3); 29 (1, 3); 30 (1-3); 31 (1-3); 32 (1-3); 33 (1-3); 34 (2, 3); 35 (1, 3); 36 (1-3); 37 (1, 2-3); 38 (1-3); 39 (1-3); 40 (1-3); 41 (1-3); 42 (1-3); 43 (1-3); 44 (1-3); 45 (1-3); 46 (1-3); 47 (1-3); 48 (1-2, 3); 49 (1-2, 3); 50 (1, 2-3); 51 (1-3); 52 (1-3); 53 (1-3); 54 (1-3)
Preserved

Springer

Portico

2007

2007

26/03/2024

Preserved : 2007: 30(1)
Preserved

Springer

Portico

2008

2022

26/03/2024

Preserved : 2008: 33(1-3), 2009: 34(1-3), 2009: 35(1-3), 2010: 36(1-3), 2010: 37(1-3), 2011: 38(1-3), 2011: 39(1-3), 2012: 40(2-3), 2012: 41(1, 3), 2013: 42(1-3), 2013: 43(1-3), 2014: 44(1-3), 2014: 45(1-3), 2015: 46(2-3), 2015: 47(1-3), 2016: 48(1-3), 2016: 49(1-3), 2017: 50(1-3), 2017: 51(1-3), 2018: 52(1-3), 2018: 53(1-3), 2019: 54(1-3), 2019/2020: 55(1-3), 2020: 56(1-3), 2021: 57(1-3), 2021: 58(1-3), 2022: 60(1-3), 2022: 61(1-3)
Preserved

Springer

Scholars Portal

1992

2022

02/03/2024

Preserved : 1 (1, 2-3, 4); 2 (1 to 3); 3 (1-2, 3); 4 (1 to 3); 5 (1-2, 3); 6 (1 to 3); 7 (1-2, 3); 8 (1 to 3); 9 (1/2, 3); 10 (1, 2-3); 11 (1 to 3); 12 (1 to 3); 13 (1 to 3); 14 (1 to 3); 15 (1 to 3); 16 (1 to 3); 17 (1 to 3); 18 (1 to 3); 19 (1 to 3); 20 (1 to 3); 21 (1 to 3); 22 (1 to 3); 23 (1 to 3); 24 (1 to 3); 25 (1, 2-3); 26 (1 to 3); 27 (1-2, 3); 28 (1 to 3); 29 (1 to 3); 30 (1 to 3); 31 (1 to 3); 32 (1 to 3); 33 (1-3); 34 (2, 3); 35 (1 to 3); 36 (1 to 3); 37 (1, 2-3); 38 (1 to 3); 39 (1 to 3); 40 (1 to 3); 41 (1 to 3); 42 (1 to 3); 43 (1 to 3); 44 (1 to 3); 45 (1 to 3); 46 (1 to 3); 47 (1 to 3); 48 (1-2, 3); 49 (1-2, 3); 50 (1, 2-3); 51 (1 to 3); 52 (1 to 3); 53 (1 to 3); 54 (1 to 3); 55 (1 to 3); 56 (1-3); 57 (2, 3); 58 (1-2, 3); 59 (1-3); 60 (2, 3); 61 (1); 125
Record information

Last modification date: 06/02/2021

Type of record: Confirmed

ISSN Center responsible of the record: ISSN National Centre for The Netherlands

Links
.........