1. Home
  2. Material Detail: Programming Languages and Systems | SpringerLink

Material Detail

Programming Languages and Systems | SpringerLink

Programming Languages and Systems | SpringerLink

This book is Open Access under a CC BY licence. 

Keywords:
program compilers, program verification, open access, distributed computer systems, processors, semantics, type systems, artificial intelligence, java, formal logic, separation logic, model checking, specifications, computer architecture, software engineering, theorem proving, programming language, computer software selection and evaluation, formal model, 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 15, 2018
Date Modified in MERLOT:
May 15, 2018
Author:
Unknown (Know the 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 3.0 United States

Browse...

Disciplines with similar materials as Programming Languages and Systems | SpringerLink
People who viewed this also viewed
Other materials like Programming Languages and Systems | SpringerLink

Comments

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