DAVID BASIN (EDITOR), JOHN C. MITCHELL (EDITOR) search results in Books & Audio Books at Pickabook.co.uk

pickabook books with huge discounts for everyone

Visit our new collection website www.collectionsforschool.co.uk

Email: Subscribe to news & offers:

Need assistance?

ABOUT US

About Us
Contact Us
Terms & Conditions

Your search for "AUTHOR = David Basin (Editor), John C. Mitchell (Editor)" has produced 25 results.

Total number of pages displayed: 3

Select number of records to display per page:

Sort by

Select All | Add selected items to basket

1 2 3

Complete Guide to SCION (Hardback)
From Design Principles to Formal Verification

By: Laurent Chuat

Published: 17/05/2022

12.5% off

In Stock: None

List Price:	£109.99
Our Price: £96.24
Availability: Temporarily Out of Stock

Complete Guide to SCION (Paperback / softback)
From Design Principles to Formal Verification

By: Laurent Chuat

Published: 18/05/2023

12.5% off

In Stock: None

List Price:	£79.99
Our Price: £69.99
Availability: Temporarily Out of Stock

Concepts in Programming Languages (Hardback)

By: John C. Mitchell

Cambridge University Press

Published: 14/10/2002

12.5% off

In Stock: None

List Price:	£70.99
Our Price: £62.12

Applied Information Security (Hardback)

By: David Basin, Patrick Schaller, Michael Schlapfer

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 27/10/2011

12.5% off

In Stock: None

List Price:	£39.99
Our Price: £34.99

Theorem Proving in Higher Order Logics (Paperback)
16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : Proceedings

By: David Basin (Editor), Burkhart Wolff (Editor)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 21/08/2003

In Stock: None

List Price:	£72.00

Automated Reasoning (Paperback)
Second International Joint Conference, Ijcar 2004, Cork, Ireland, July 4-8, 2004, Proceedings

By: David Basin (Editor), Michael Rusinowith (Editor)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 22/06/2004

In Stock: None

List Price:	£99.99

Trust Management II (Paperback)
Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway

By: Yucel Karabulut (Editor), John C. Mitchell (Editor...

Springer-Verlag New York Inc.

Published: 28/10/2010

In Stock: None

List Price:	£115.00

Principles of Security and Trust (Paperback)
Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

By: David Basin (Editor), John C. Mitchell (Editor)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Published: 14/02/2013

In Stock: None

List Price:	£48.99

Exploring New Frontiers of Theoretical Informatics (Paperback)
IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22-27 August 2004 Toulouse, France

By: Jean-Jacques Levy (Editor), Ernst W. Mayr (Editor)...

Springer-Verlag New York Inc.

Published: 14/12/2011

In Stock: None

List Price:	£118.50

10.

Theoretical Aspects of Object-oriented Programming (Hardback)
Types, Semantics and Language Design

By: Carl A. Gunter (Editor), John C. Mitchell (Editor)

MIT Press

Published: 15/06/1994

In Stock: None

List Price:	£55.95

1 2 3

Select All | Add selected items to basket

SHOPPING BASKET

	Your basket is empty

	Total Items:	0

NEW

Illustrated Encyclopedia of Science

By: CLAUDIA MARTIN

Fiction

Impossible Creatures

By: KATHERINE RUNDELL

Fiction

Not for the Faint of Heart

By: LEX CROUCHER

Fiction

Secret of Golden Island

By: NATASHA FARRANT

Early Learning

Dictionary Story

By: SAM WINSTON

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.

Early Learning

Nutty Numbers

By: DR. SEUSS

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.

Picture Book

Animal Swim School

By: KATE PERIDOT