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 II

Contributor(s):

Biere, Armin||Parker, David

Material type: Text

Text

TextSubject(s):

Software Engineering/Programming and Operating Systems||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||Software Engineering||Operating systems||Expert systems / knowledge-based systems||Systems analysis & design||Algorithms & data structures||Mathematical theory of computation||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)