Tools and Algorithms for the Construction and Analysis of Systems (Record no. 9437)

MARC details
000 -LEADER
fixed length control field 00958nam a2200121Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220615s9999||||xx |||||||||||||| ||und||
245 #0 - TITLE STATEMENT
Title Tools and Algorithms for the Construction and Analysis of Systems
Remainder of title 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
546 ## - LANGUAGE NOTE
Language note English[eng]
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element embedded systems||formal languages and automata theory||Formal methods and theory of security||Machine learning||Modeling and simulation||Semantics and reasoning||software and hardware verification||specification and verification techniques||static and dynamic program analysis||Symbolic and algebraic manipulation||system construction and transformation techniques
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Fisman, Dana||Rosu, Grigore
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://library.oapen.org/bitstream/20.500.12657/54031/1/978-3-030-99527-0.pdf">https://library.oapen.org/bitstream/20.500.12657/54031/1/978-3-030-99527-0.pdf</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
        Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre 15/06/2022   15/06/2022 15/06/2022 E-Books