Formal Methods in System Design : (Record no. 111635)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00477nam a22001337a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20231104113432.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 231104b |||||||| |||| 00| 0 eng d |
| 245 ## - TITLE STATEMENT | |
| Title | Formal Methods in System Design : |
| Remainder of title | An International Journal |
| 250 ## - EDITION STATEMENT | |
| Edition statement | Springer Online Journal Archive |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Name of publisher, distributor, etc | Springer |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer Science |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Link text | Library has online access to : Vol.1 (1992) to Vol.9 (1996) |
| Uniform Resource Identifier | https://link.springer.com/journal/10703/volumes-and-issues |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| item type | Journal Archive |
No items available.