IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design

IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design
Author :
Publisher : I E E E
Total Pages : 220
Release :
ISBN-10 : 0769508847
ISBN-13 : 9780769508849
Rating : 4/5 (47 Downloads)

Book Synopsis IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design by :

Download or read book IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design written by and published by I E E E. This book was released on 2000 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt: These conference proceedings cover such topics as: reactive and real-time systems; quantitative and non-functional qualities; (in)completeness, (in)consistency and (sufficient) correctness.


IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design Related Books

IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design
Language: en
Pages: 220
Authors:
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: I E E E

DOWNLOAD EBOOK

These conference proceedings cover such topics as: reactive and real-time systems; quantitative and non-functional qualities; (in)completeness, (in)consistency
Proceedings of the Ninth International Joint Conference on Artificial Intelligence
Language: en
Pages: 1368
Authors: International Joint Conferences on Artificial Intelligence
Categories: Artificial Intelligence
Type: BOOK - Published: 1985 - Publisher: Elsevier

DOWNLOAD EBOOK

Proceedings of the Ninth International Network Conference (INC 2012)
Language: en
Pages: 240
Authors: Paul Dowland
Categories: Computers
Type: BOOK - Published: 2012 - Publisher: Lulu.com

DOWNLOAD EBOOK

This book contains the proceedings of the Ninth International Network Conference (INC2012), which was held in Port Elizabeth, South Africa, in July 2012. A tota
International Workshop on Software Specification and Design [proceedings].
Language: en
Pages: 252
Authors:
Categories: Computer software
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland
Language: en
Pages: 528
Authors: Wojciech Zamojski
Categories: Technology & Engineering
Type: BOOK - Published: 2014-05-16 - Publisher: Springer

DOWNLOAD EBOOK

DepCoS – RELCOMEX is an annual series of conferences organized by Wrocław University of Technology to promote a comprehensive approach to evaluation of syste