Specification And Validation Methods /E. Börger

By:

E. Börger

Language: English Publication details: , new york, Clarendon ; oxford university press, oxford 1995Description: 460 pages : illustrations ; 24 cmISBN:

9780198538547

Subject(s):

computerarchitektur computers mathematical logic langages de programmation logiciels essais

DDC classification:

004.015 BOR

Summary: Combining an advanced introduction with notes on the development of new methods, this monograph elaborates on a number of applications which span software and hardware design.

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
Reference	Anna Centenary Library 3RD FLOOR, A WING	004.015 BOR (Browse shelf(Opens below))	Not for loan	111785

Includes index

Combining an advanced introduction with notes on the development of new methods, this monograph elaborates on a number of applications which span software and hardware design.

There are no comments on this title.

to post a comment.

Specification And Validation Methods /E. Börger

Find us on the map