Tools and Notions for Program Construction

Tools and Notions for Program Construction
Author :
Publisher : CUP Archive
Total Pages : 424
Release :
ISBN-10 : 0521248019
ISBN-13 : 9780521248013
Rating : 4/5 (013 Downloads)

Book Synopsis Tools and Notions for Program Construction by : D. Néel

Download or read book Tools and Notions for Program Construction written by D. Néel and published by CUP Archive. This book was released on 1982 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book comprises two principal categories of approaches to programming issues: the intellectual notions and the software tools." -- Back cover.


Tools and Notions for Program Construction Related Books

Tools and Notions for Program Construction
Language: en
Pages: 424
Authors: D. Néel
Categories: Computers
Type: BOOK - Published: 1982 - Publisher: CUP Archive

DOWNLOAD EBOOK

"This book comprises two principal categories of approaches to programming issues: the intellectual notions and the software tools." -- Back cover.
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 482
Authors: Javier Esparza
Categories: Computers
Type: BOOK - Published: 2010-03-10 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS
Catalogue of Artificial Intelligence Tools
Language: en
Pages: 172
Authors: Alan Bundy
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The purpose of this catalogue is to promote interaction between members of the AI community. It will do this by announcing the existence of AI techniques and po
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 728
Authors: Christel Baier
Categories: Computers
Type: BOOK - Published: 2015-03-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, whi
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 471
Authors: Jan Friso Groote
Categories: Computers
Type: BOOK - Published: 2021-04-20 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Sy