Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II.

By: Groote, Jan FrisoContributor(s): Larsen, Kim GuldstrandMaterial type: TextTextSeries: Lecture Notes in Computer Science SerPublisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Description: 1 online resource (476 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9783030720131Genre/Form: Electronic books.Additional physical formats: Print version:: Tools and Algorithms for the Construction and Analysis of SystemsLOC classification: QA75.5-76.95Online resources: Wie greife ich auf das E-Book zu? | Click to View
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2022. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.

Powered by Koha