pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions

Item Details
Title: MODEL CHECKING
By: Edmund M., Jr. Clarke
Format: Hardback

List price: £72.00
Our price: £57.60
Discount:
20% off
You save: £14.40
ISBN 10: 0262038838
ISBN 13: 9780262038836
Availability: Usually dispatched within 3-5 days.
 Delivery rates
Stock: Currently 2 available
Publisher: MIT PRESS LTD
Pub. date: 19 October, 2018
Edition: second edition
Series: Model Checking
Pages: 464
Illustrations: 154 b&w illus.
Returns: Returnable
Some other items by this author:
25 YEARS OF MODEL CHECKING (PB)
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (PB)
COMPUTER AIDED VERIFICATION (PB)
COMPUTER AIDED VERIFICATION (PB)
COMPUTER AIDED VERIFICATION (PB)
COMPUTER AIDED VERIFICATION (PB)
COMPUTER AIDED VERIFICATION (PB)
COMPUTER SCIENCE LOGIC (PB)
DECISION PROCEDURES (HB)
DECISION PROCEDURES (HB)
DECISION PROCEDURES (PB)
DECISION PROCEDURES (PB)
DIGITALTECHNIK - EINE PRAXISNAHE EINF HRUNG
FORMAL LOGICAL METHODS FOR SYSTEM SECURITY AND CORRECTNESS (HB)
HANDBOOK OF MODEL CHECKING (HB)
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING (PB)
LANGUAGES (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
MODEL CHECKING (HB)
PARTIAL ORDER METHODS IN VERIFICATION (HB)
SOFTWARE RELIABILITY METHODS (HB)
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (PB)
VALIDATION OF EVOLVING SOFTWARE (HB)
VALIDATION OF EVOLVING SOFTWARE (PB)
VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS (PB)



Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Illustrated Encyclopedia of Science
By: CLAUDIA MARTIN
add to basket

Fiction
Impossible Creatures
By: KATHERINE RUNDELL
add to basket

Fiction
Not for the Faint of Heart
By: LEX CROUCHER
add to basket

Fiction
Secret of Golden Island
By: NATASHA FARRANT
add to basket

Early Learning
Dictionary Story
By: SAM WINSTON
add to basket

Early Learning
Little Worried Caterpillar (PB)
By: CHRISTINE PYM
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
Nutty Numbers
By: DR. SEUSS
add to basket

Picture Book
All the Things We Carry PB
By: HELEN DOCHERTY
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket

Picture Book
Animal Swim School
By: KATE PERIDOT
add to basket