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: AN INTRODUCTION TO PRACTICAL FORMAL METHODS USING TEMPORAL LOGIC
By: Michael Fisher
Format: Electronic book text

List price: £109.14


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 1119991463
ISBN 13: 9781119991465
Publisher: JOHN WILEY & SONS INC
Pub. date: 16 March, 2011
Edition: 2nd ed.
Pages: 368
Publication: US
Imprint: John Wiley & Sons Inc
Returns: Non-returnable
Some other items by this author:
'GOTHIC FOR EVER' (HB)
A LEVEL ADVANCING BIOLOGY FOR OCR STUDENT BOOK (OCR B) (PB)
A LEVEL ADVANCING BIOLOGY FOR OCR YEAR 1 AND AS STUDENT BOOK (OCR B) (PB)
A LEVEL ADVANCING BIOLOGY FOR OCR YEAR 2 STUDENT BOOK (OCR B) (PB)
A SHORT HISTORY OF THE MUGHAL EMPIRE (HB)
A SHORT HISTORY OF THE MUGHAL EMPIRE (PB)
ADVANCES IN TEMPORAL LOGIC (HB)
ADVANCES IN TEMPORAL LOGIC (PB)
AN INTRODUCTION TO PRACTICAL FORMAL METHODS USING TEMPORAL LOGIC
AN INTRODUCTION TO PRACTICAL FORMAL METHODS USING TEMPORAL LOGIC
AN INTRODUCTION TO PRACTICAL FORMAL METHODS USING TEMPORAL LOGIC
AN INTRODUCTION TO PRACTICAL FORMAL METHODS USING TEMPORAL LOGIC (HB)
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS (PB)
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS (PB)
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS (PB)
CONTRACT LAW IN HONG KONG (HB)
CONTRACT LAW IN HONG KONG (PB)
CONTRACT LAW IN HONG KONG (PB)
CONTRACT LAW IN HONG KONG (PB)
CONTRACT LAW IN HONG KONG (PB)
CONTRACT LAW IN HONG KONG - AN INTRODUCTORY GUIDE (HB)
DIEULACRES (PB)
DIGITAL LEARNING STRATEGIES: HOW DO I AS (PB)
DITCH THE DAILY LESSON PLAN
EXECUTABLE MODAL AND TEMPORAL LOGICS (PB)
FOR THE TIME BEING (HB)
FOUNDATIONS AND APPLICATIONS OF MULTI-AGENT SYSTEMS (PB)
GENDERING AMERICAN POLITICS (PB)
GUARDING THE PUGIN FLAME: JOHN HARDMAN (HB)
HACKING INSTRUCTIONAL DESIGN: 33 EXTRAOR (PB)
HACKING THE COMMON CORE
HANDBOOK OF TEMPORAL REASONING IN ARTIFICIAL INTELLIGENCE (HB)
LOGICS IN ARTIFICIAL INTELLIGENCE (PB)
OCR A LEVEL BIOLOGY A REVISION GUIDE (PB)
OCR A LEVEL BIOLOGY A YEAR 1 REVISION GUIDE (PB)
OCR A LEVEL BIOLOGY A YEAR 2 REVISION GUIDE (PB)
OUT OF THE NOISE
OXFORD REVISE: A LEVEL BIOLOGY FOR OCR A REVISION AND EXAM PRACTICE
OXFORD REVISE: AQA A LEVEL BIOLOGY REVISION AND EXAM PRACTICE
PRESENT STATE OF ECCLESIASTICAL ARCHITECTURE IN ENGLAND (HB)
REFLECTIONS (PB)
SCRATCHING MY BALLS: STRICTLY ADULT COLO (PB)
SHORT HISTORY OF THE MUGHAL EMPIRE
SUMMER OF OUR INNOCENCE (HB)
SUMMER OF OUR INNOCENCE (PB)
THE POWER OF CUSTOMER MISBEHAVIOR
THE POWER OF CUSTOMER MISBEHAVIOR (HB)
THE TRAVELS OF DEAN MAHOMET
TOMORROW IS HERE: MY GASTRIC BYPASS JOURNEY
TOMORROW IS HERE: MY GASTRIC BYPASS JOURNEY (PB)
VERIFIABLE AUTONOMOUS SYSTEMS (HB)
VISIONS OF MUGHAL INDIA (HB)

TOP SELLERS IN THIS CATEGORY
Electronics in Easy Steps (Paperback)
By: Bill Mantovani
In Easy Steps Limited
Our Price : £8.99
more details
Electronics (Paperback)
By: Neil Storey
Pearson Education Limited
Our Price : £58.27
more details
Electronics For Dummies (Paperback)
By: Dickon Ross, Cathleen Shamieh, Gordon McComb
John Wiley and Sons Ltd
Our Price : £14.59
more details
Automobile Electrical and Electronic Systems (Paperback)
By: Tom Denton
Taylor & Francis Ltd
Our Price : £40.49
more details
Electronics Fundamentals (Paperback)
By: Thomas L. Floyd, David M. Buchla
Pearson Education Limited
Our Price : £65.67
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 TECHNOLOGY, ENGINEERING, AGRICULTURE, VETERINARY SCIENCE
 electronics & communications engineering
 electronics engineering


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