Model Checking Software

Author	: Thomas Neele
Publisher	: Springer Nature
Total Pages	: 274
Release	:
ISBN-10	: 9783031661495
ISBN-13	: 3031661494
Rating	: 4/5 (494 Downloads)

DOWNLOAD EBOOK

Book Synopsis Model Checking Software by : Thomas Neele

Download or read book Model Checking Software written by Thomas Neele and published by Springer Nature. This book was released on with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Model Checking Software Related Books

Language: en
Pages: 274

Model Checking Software

Authors: Thomas Neele

Categories:

Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Language: en
Pages: 433

Intermediate C Programming

Authors: Yung-Hsiang Lu

Categories: Computers

Type: BOOK - Published: 2024-02-06 - Publisher: CRC Press

DOWNLOAD EBOOK

Revised for a new second edition, Intermediate C Programming provides a stepping-stone for intermediate-level students to go from writing short programs to writ

Language: en
Pages: 164

NorthStar

Authors: Laurie Barton

Categories: English language

Type: BOOK - Published: 2004 - Publisher:

DOWNLOAD EBOOK

The NorthStar Teacher's Manual include: * Specific suggestions for teaching each unit * Student Book Answer Key * An Alphabetized-by-unit word list of the key v

Language: en
Pages: 427

Models in Software Engineering

Authors: Juergen Dingel

Categories: Computers

Type: BOOK - Published: 2011-05-13 - Publisher: Springer

DOWNLOAD EBOOK

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engi

Language: en
Pages: 455

Theoretical Aspects of Computing -- ICTAC 2013

Authors: Zhiming Liu

Categories: Computers

Type: BOOK - Published: 2013-08-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in Sep