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


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: 1119955084
ISBN 13: 9781119955085
Publisher: JOHN WILEY & SONS INC
Pub. date: 18 July, 2011
Edition: 2nd ed.
Pages: 360
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
Automotive Oscilloscopes (Paperback)
Graham Stoakes
Our Price : £32.54
more details
The Art of Electronics (Hardback)
Cambridge University Press
Our Price : £72.62
more details
Ford Shop Manual Series 2n 8n & 9n (Paperback / softback)
Haynes Publishing Group
Our Price : £27.00
more details
Practical Electronics for Inventors (Paperback)
McGraw-Hill Education - Europe
Our Price : £28.79
more details
Make: Analog Synthesizers (Paperback)
O'Reilly Media, Inc, USA
Our Price : £13.51
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
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket