1. Home
  2. Material Detail: Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Material Detail

Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Keywords:
program compilers, state space, processors, semantics, programming languages, formal logic, model checking, specifications, formal methods, computer architecture, multi core, software engineering, computer software selection and evaluation, model checker, verification
Disciplines:
Go to Material  
Bookmark / Add to Course ePortfolio
Create a Learning Exercise
Add Accessibility Information
Rate
Add a Comment

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Material Type:
Open (Access) Textbook
Date Added to MERLOT:
May 30, 2018
Date Modified in MERLOT:
May 30, 2018
Author:
Submitter:
Naomi Toftness
Primary Audience:
College Upper Division, Graduate School, Professional
Technical Format:
PDF, Website, Other
Mobile Compatibility:
Not specified at this time
Language:
English
Cost Involved:
No
Source Code Available:
Unknown
Accessibility Information Available:
Unknown
Creative Commons:
Creative Commons License
This work is licensed under a Attribution 4.0 International

Browse...

Disciplines with similar materials as Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink
People who viewed this also viewed
Other materials like Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.