osCommerce My Account  Cart Contents  Checkout  
  Top » Catalog » COMPUTERS » 5282 My Account  |  Cart Contents  |  Checkout   
Categories
ACCOUNTING (132)
ADVERTISING (1)
AFRICAN WRITING (70)
AFRIKAANS LITERATURE (49)
AGRICULTURE (26)
ANTHROPOLOGY (5)
ARCHAEOLOGY (10)
ARCHITECTURE (5)
ART (7)
ASTRONOMY (3)
BAGS & ACCESORIES (52)
BIOCHEMISTRY (7)
BIOCHEMISTRY MEDICAL (1)
BIOLOGY (36)
BOTANY (13)
BUILDING/CONSTRUCTION (11)
BUSINESS (462)
CALCULATORS (10)
CAREERS (5)
CHEMISTRY (47)
CHEMISTRY - MEDICAL (1)
CHRISTIANITY - SEE THEOLOGY (4)
CLASSICAL STUDIES (3)
CLASSICS (66)
COMMUNICATIONS (42)
COMPUTERS (181)
COMPUTERS PRESCRIBED TEXTS (44)
COOKERY AND FOOD (6)
CRAFTS (9)
CRIMINOLOGY (18)
CURRENT AFFAIRS (2)
DICTIONARIES - MEDICAL (8)
ECOLOGY (11)
ECONOMICS (44)
EDUCATION (153)
ELECTRONICS (52)
ENGINEERING (63)
ENGINEERING CHEMICAL (3)
ENGINEERING CIVIL (29)
ENGINEERING ELECTRICAL (17)
ENGINEERING MECHANICAL (36)
ENGLISH LITERARY CRITICISM (1)
ENGLISH REFERENCE (11)
EPIDEMIOLOGY (6)
FINANCIAL MANAGEMENT (30)
GARDENING (5)
GENERAL BOOKS (14)
GENERAL MEDICINE (4)
GENERAL NURSING SCIENCE (7)
GEOGRAPHY (50)
HAEMATOLOGY (1)
HISTOLOGY (4)
HISTORY - AFRICA (2)
HISTORY - GENERAL (16)
HISTORY - OTHER (1)
HISTORY - SA/AFRICANA (25)
HIV/AIDS (2)
HUMAN RESOURCE MANAGEMENT (54)
INVESTMENT (18)
ITALIAN (4)
LABORATORY COATS (1)
LABOUR LAW (34)
LANGUAGE FRENCH (59)
LANGUAGE AFRIKAANS (7)
LANGUAGE AND LINGUISTICS (21)
LANGUAGE ENGLISH (213)
LANGUAGE GREEK
LANGUAGE LATIN
LANGUAGE PORTUGUESE
LANGUAGE XHOSA (3)
LANGUAGE ZULU (78)
LANGUAGES OTHER AFRICAN (32)
LANGUAGES OTHER NON-AFRICAN (1)
LAW (378)
LIBRARY SCIENCE (6)
LITERATURE CHILDRENS (8)
MANAGEMENT (78)
MARKETING (98)
MATERNITY-> (4)
MATHEMATICS (121)
MEDIA
MEDICAL DICTIONARIES (1)
MEDICAL EQUIPMENT (20)
MEDICAL MICROBIOLOGY (2)
MINERALS & GEMS
MOTIVATIONAL (1)
MUSIC (22)
MUSIC - GENERAL (5)
neurology (4)
Nursing (91)
NURSING & MEDICAL (148)
NURSING CRITICAL CARE (7)
nursing educatio (2)
NURSING MANAGEMENT (19)
nursing microbiolog (1)
NURSING MIDWIFERY (8)
nursing ophthalmology
NURSING ORTHOPOEDICS (1)
Nutrition (4)
Obstetrics and Gynae (4)
OCCUPATIONAL THERAPY (1)
OFFICE SUPPLIES (1)
opthalmology (4)
ORGANIZATIONAL BEHAVIOUR (28)
orthopaedics (3)
paediatrics (15)
paramedic (3)
pathology (7)
PEARSON-> (1)
pharmacology (21)
PHILOSOPHY (25)
PHOTOGRAPHY
PHYSICS (32)
physiology (30)
physiotherapy (1)
PLAYS (40)
POETRY (16)
POLITICS (42)
POPULAR SCIENCE (17)
PROJECT MANAGEMENT (16)
PSYCHIATRY (1)
psychiatry psychology (14)
PSYCHOLOGY (75)
PUBLIC ADMINISTRATION (31)
PUBLIC RELATIONS (9)
PULMINORY/RESPIRATORY MEDICINE (1)
QUALITY CONTROL (15)
RACKS (5)
RADIOLOGY (7)
REAL ESTATE (7)
REFERENCE (107)
RESEARCH (16)
RESEARCH (81)
SALESMANSHIP
SHAKESPEARE
SOCIAL WORK (17)
SOCIOLOGY (40)
SPANISH (1)
SPEECH & DRAMA (1)
STAMP ACCESSORIES (9)
STATISTICS (24)
STATISTICS MEDICAL (3)
STRUCTURAL ENGINEERING
STUDY TECHNIQUES
SUPPLY CHAIN (20)
SURGERY (6)
SURVEYING (3)
TAX (33)
TECHNICAL DRAWING (34)
THEOLOGY/BIBLICAL STUDY (154)
THERMODYNAMICS
TOURISM (19)
TRAUMA/ EMS (2)
VETERINARY (8)
VETINARY SCIENCE
WEB DELIVERY (8)
WILDLIFE,FAUNA & FLORA (8)
WRITING
WRITING EQUIPMENT (58)
ZOOLOGY (6)
Information
Shipping & Returns
Privacy Notice
Conditions of Use
Contact Us
About Us
LOGIC IN COMPUTER SCIENCE 2ED
[5282]
R630.00
Author/Editor: HUTH,M
Edition: 2nd Edition
ISBN: 9780521543101

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.


This product is currently out of stock. There may be delays in delivery.

This product was added to our catalog on Saturday 13 September, 2008.
Customers who bought this product also purchased
INTRO TO DESIGN PATTERNS IN C++ W QT 2ED
INTRO TO DESIGN PATTERNS IN C++ W QT 2ED
INTERACTIVE COMPUTER GRAPHICS 6ED
INTERACTIVE COMPUTER GRAPHICS 6ED
SOFTWARE PROJECT MANAGEMENT 5ED
SOFTWARE PROJECT MANAGEMENT 5ED
DATA STRUCTURES USING C++ 2ED ISE
DATA STRUCTURES USING C++ 2ED ISE
DATABASE SYSTEMS 1ST INT ED NO E BOOK
DATABASE SYSTEMS 1ST INT ED NO E BOOK
Shopping Cart more
0 items
Tell A Friend
 
Tell someone you know about this product.


Click to Browse


Copyright 2017 Adams University Books
Telephone: 031 3194300
Email: adamsbooksellersbt@gmail.com