CONTRACTS FOR SYSTEM DESIGN by Albert Benveniste ( 9781680834024 )

Item Details

Title:

CONTRACTS FOR SYSTEM DESIGN

By:

Format:

Paperback

List price:	£72.00
We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10:

1680834029

ISBN 13:

9781680834024

Publisher:

NOW PUBLISHERS

Pub. date:

28 March, 2018

Series:

Foundations and Trends(R) in Electronic Design Automation

Pages:

296

Language:

English

Description:

Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity.

Returns:

Non-returnable

Some other items by this author:

A TOP-DOWN, CONSTRAINT-DRIVEN DESIGN METHODOLOGY FOR ANALOG INTEGRATED CIRCUITS (HB)

ADAPTIVE ALGORITHMS AND STOCHASTIC APPROXIMATIONS (HB)

ADAPTIVE ALGORITHMS AND STOCHASTIC APPROXIMATIONS (PB)

ALGORITHMS FOR SYNTHESIS AND TESTING OF ASYNCHRONOUS CIRCUITS (HB)

ANALYSIS AND SIMULATION OF NOISE IN NONLINEAR ELECTRONIC CIRCUITS AND SYSTEMS (HB)

ANALYSIS AND SIMULATION OF NOISE IN NONLINEAR ELECTRONIC CIRCUITS AND SYSTEMS (PB)

AUTOMATA, LANGUAGES AND PROGRAMMING (PB)

COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (PB)

COMPUTER AIDED VERIFICATION (PB)

COMPUTER SCIENCE LOGIC (PB)

COMPUTER-AIDED DESIGN OF VERY LARGE SCALE INTEGRATION CIRCUITS AND SYSTEMS (HB)

CONCUR 2001 (PB)

CROSS-TALK NOISE IMMUNE VLSI DESIGN USING REGULAR LAYOUT FABRICS (HB)

DETECTION OF ABRUPT CHANGES IN SIGNALS AND DYNAMICAL SYSTEMS (PB)

EMBEDDED SOFTWARE (PB)

EMBEDDED SYSTEMS DEVELOPMENT (HB)

EMBEDDED SYSTEMS DEVELOPMENT (PB)

ENTWURF UND VERIFIKATION MIKROPROGRAMMIERTER RECHNERARCHITEKTUREN

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (PB)

FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS (PB)

FUNCTION/ARCHITECTURE OPTIMIZATION AND CO-DESIGN OF EMBEDDED SYSTEMS (HB)

HANDBOOK OF MODEL CHECKING (HB)

HARDWARE-SOFTWARE CO-DESIGN OF EMBEDDED SYSTEMS (HB)

HYBRID SYSTEMS - COMPUTATION AND CONTROL (PB)

HYBRID SYSTEMS III (PB)

INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING (PB)

LANGUAGES AND TOOLS FOR HYBRID SYSTEMS DESIGN (PB)

LOGIC SYNTHESIS FOR FIELD-PROGRAMMABLE GATE ARRAYS (HB)

MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE (PB)

PLATFORM-BASED DESIGN (HB)

PRACTICAL FORMAL METHODS FOR HARDWARE DESIGN (PB)

QUANTITATIVE MODEL-BASED ANALYSIS OF REAL-TIME EMBEDDED SYSTEMS (HB)

RELAXATION TECHNIQUES FOR THE SIMULATION OF VLSI CIRCUITS (HB)

SECURITY-AWARE DESIGN FOR CYBER-PHYSICAL SYSTEMS (HB)

SECURITY-AWARE DESIGN FOR CYBER-PHYSICAL SYSTEMS (PB)

SMART CONNECTED BUILDINGS DESIGN AUTOMATION (PB)

SYNCHRONOUS EQUIVALENCE (HB)

SYNTHESIS AND CONTROL OF DISCRETE EVENT SYSTEMS (HB)

SYNTHESIS AND CONTROL OF DISCRETE EVENT SYSTEMS (PB)

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)

Information provided by www.pickabook.co.uk