Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (Record no. 86599)

MARC details
000 -LEADER
fixed length control field 00987nam a2200133Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 2212144s2020 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783030549947
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas.
245 ## - TITLE STATEMENT
Title Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Cham
Name of publisher, distributor, etc. Springer
Date of publication, distribution, etc. 2020
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering. Special purpose computers. Computers. Architecture, Computer. Artificial intelligence. Application software. Software Engineering. Special Purpose and Application-Based Systems. Theory of Computation. Computer System Implementation. Artificial Intelligence. Computer Applications.
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-3-030-54994-7">https://doi.org/10.1007/978-3-030-54994-7</a>
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Barcode Date last seen Price effective from Koha item type
        BITS Pilani Hyderabad BITS Pilani Hyderabad 16/12/2022   EBK003363 16/12/2022 16/12/2022 Springer EBooks
An institution deemed to be a University Estd. Vide Sec.3 of the UGC
Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964
© 2024 BITS-Library, BITS-Hyderabad, India.