HIGHER ORDER LOGIC AND HARDWARE VERIFICATION

Price	USD 102.01 SEK 655.00
Seller	Sunday Books, bokhandel p

     Författare: MELHAM T. F. (UNIVERSITY OF GLASGOW)

     Förlag: CAMBRIDGE UNIVERSITY PRESS

     Utgivningsdatum: 1993-11-11

     Bandtyp: hardback

     Antal Sidor: 179

     (Ca:pris 840.00Kr) Pris 691,00Kr

     Moms 6% ingår

     GRATIS FRAKT inom Europa

     Bästsäljare, 0-5 * :

     ISBN-13 : 9780521417181

     ISBN-10 : 052141718X

     Leveranstid 2-3 veckor.

This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof.

WillyFogg.com doesn't sell any of the products listed on our site.
To buy a product you need to use the link provided and visit the seller's site.

Similar products

STARTING OUT WITH PROGRAMMING LOGIC AND DESIGN USD 102.01 SEK 655.00	INTRODUCTION TO LOGIC AND THEORY OF KNOWLEDGE USD 102.01 SEK 655.00
INTRODUCTION TO FORMAL HARDWARE VERIFICATION USD 102.01 SEK 655.00	LOGIC AND KNOWLEDGE USD 102.01 SEK 655.00

Similar products from this seller:
STARTING OUT WITH PROGRAMMING LOGIC AND DESIGN INTRODUCTION TO LOGIC AND THEORY OF KNOWLEDGE INTRODUCTION TO FORMAL HARDWARE VERIFICATION LOGIC AND KNOWLEDGE NEURAL NETWORKS, FUZZY LOGIC AND GENETIC ALGORITHMS AUTOMATA, LOGICS AND INFINITE GAMES SYSTEMS AND SOFTWARE VERIFICATION LOGIC AND PHILOSOPHY LOGIC AND COMPUTATION AQA GCSE HIGHER SCIENCE REVISION AND PRACTICE BOOK View all products of this seller

HIGHER ORDER LOGIC AND HARDWARE VERIFICATION

Similar products from this seller: