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

Browsing Anna Centenary Library shelves, Shelving location: 3RD FLOOR, A WING Close shelf browser (Hides shelf browser)

Previous								Next
Previous	004 WAL The Essential Guide To Computing	004 WIL Introduction to Scientific and Technical Computing	004.01 DOB Stochastic Relations : Foundations For Markov Transition Systems	004.015 BOR Specification And Validation Methods	004.0151 COM Computational science	004.0151 DAV MATLAB primer	004.0151 DIE Foundations of computation	Next

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

Browsing Anna Centenary Library shelves, Shelving location: 3RD FLOOR, A WING Close shelf browser (Hides shelf browser)

Find us on the map