Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)

Author	:
Publisher	:
Total Pages	:
Release	: 2000
ISBN-10	: OCLC:423977092
ISBN-13	:
Rating	: 4/5 (92 Downloads)

DOWNLOAD EBOOK

Book Synopsis Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) by :

Download or read book Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) written by and published by . This book was released on 2000 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000) Related Books

Language: en
Pages:

Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)

Authors:

Categories:

Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 348

Proceedings, Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)

Authors:

Categories: Computers

Type: BOOK - Published: 2000 - Publisher: IEEE Computer Society Press

DOWNLOAD EBOOK

The proceedings from this November, 2000 conference in Albuquerque, New Mexico feature 46 papers by computer scientists working with universities, private compa

Language: en
Pages:

5th High Assurance Systems Engineering (HASE 2000).

Authors: IEEE Computer Society Staff

Categories:

Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 252

Sixth IEEE International Symposium on High Assurance Systems Engineering

Authors:

Categories: Technology & Engineering

Type: BOOK - Published: 2001 - Publisher: I E E E

DOWNLOAD EBOOK

This volume contains the conference proceedings of the 2001 6th IEEE International Symposium on High Assurance Systems Engineering.

Language: en
Pages: 682

Formal Methods and Software Engineering

Authors: Shengchao Qin

Categories: Computers

Type: BOOK - Published: 2011-10-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011.