Article Request

Purchase Suggestion

Question Papers

Normal view MARC view ISBD view

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25â€“30, 2020, Proceedings, Part I

Contributor(s):

Biere, Armin||Parker, David

Material type: Text

Text

TextSubject(s):

Theory of Computation||Special Purpose and Application-Based Systems||Computer System Implementation||Control Structures and Microprogramming||Mathematics of Computing||open access||specification and verification techniques||software and hardware verification||SAT and SMT solving||theorem proving||model checking||static and dynamic program analysis||testing||system construction and transformation techniques||tool environments and tool architectures||abstraction techniques for modeling and verification||compositional and refinement-based methodologies||mathematics||software engineering||software design||architecting||software architecture||embedded systems||automata theory||linguistics||Computer science||Mathematical theory of computation||Expert systems / knowledge-based systems||Systems analysis & design||Algorithms & data structures||Maths for computer scientists

Online resources:

Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E-Books	Kerala University of Digital Sciences, Innovation and Technology Knowledge Centre		Available

English[eng]

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS
More searches

Search for this title in:
Goodreads Google Books Amazon India Kerala Academic Library Network (Union Catalog)