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: MACHINE-ASSISTED THEOREM-PROVING FOR SOFTWARE ENGINEERING
By: A. Martin
Format: Paperback

List price: £1.00


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

ISBN 10: 0902928953
ISBN 13: 9780902928954
Pages: 136
Publication: UK
Returns: Non-returnable
Some other items by this author:
A TUTORIAL ON PROOF IN STANDARD Z (PB)
BMS MAINTENANCE GUIDE - PLUS A MODEL MAINTENANCE SPECIFICATION (PB)
BUYING IT (PB)
DIAGNOSTIK DER BAUCHGESCHWULSTE
DIAGNOSTIK DER BAUCHGESCHWULSTE (HB)
DIMENSIONS OF PARTICIPATION (PB)
GERIATRICS (HB)
GERIATRICS (PB)
HANDBUCH DER KRANKHEITEN DER WEIBLICHEN ADNEXORGANE, VOL. 3
HISTOIRE DE LA VIE ET DES ECRITS DE PIERRE GASSENDI...
HVAC THERMAL STORAGE: PRACTICAL APPLICATION AND PERFORMANCE ISSUES (PB)
LA COMMUNAUTE DES BOULANGERS DU MANS.
LA COMMUNAUTE DES BOULANGERS DU MANS. (HB)
LE LIVRE DE MARIE
LE LIVRE DE MARIE; COURS D'INSTRUCTIONS NEUVES ET SURTOUT PRATIQUES POUR TOUS LES JOURS DU MOIS DE MAI, SUIVI DE DOUZE DISCOURS POUR LES FETES PRINCI
LE PRETRE DEVANT LE SIECLE
MAKING NATURAL VENTILATION WORK (PB)
MARIN'S ATLAS OF OBSTETRICS AND GYNAECOLOGY (CLASSIC REPRINT)
MATERIALS CONTAINING NATURAL RADIONUCLIDES IN ENHANCED CONCENTRATIONS (PB)
MAX STIRNERS LEHRE: MIT EINEM AUSZUG AUS "DER EINZIGE UND SEIN EIGENTUM" (CLASSIC REPRINT) (HB)
MISE EN SCENE AND FILM STYLE (PB)
MONATSSCHRIFT FÏ¿½R GEBURTSHÏ¿½LFE UND GYNAEKOLOGIE, 1895, VOL. 2 (CLASSIC REPRINT) (PB)
NOTICE HISTORIQUE SUR LA VILLE DE MENDE D'APRES LES NOTES ET DOCUMENTS RECUEILLIS...
OUIJA - A NOVEL (HB)
OUIJA - A NOVEL (PB)
PATHOLOGIE UND THERAPIE DER FRAUENKRANKHEITEN
PROBLEMS IN GERIATRIC MEDICINE (PB)
REPERTORIUM DER GALVANOPLASTIK U. GALVANOSTEGIE ODER DER METALLREDUCTION AUF NASSEM WEGE IN DICKEN U. D NNEN SCHICHTEN, MIT BESONDERER BER CKSICHTIGUNG DER GALVANOGRAPHIE, GLYPHOGRAPHIE, CHEMITYPIE U. DER SPECIELLEN ANWENDUNG DAS VERGOLDEN, ...
TALES FROM THE ARCHIVES
THE GEOLOGY OF THE BELINGWE GREENSTONE BELT, ZIMBABWE (HB)
YOU WORRY ME, TRACEY, YOU REALLY DO! (PB)

TOP SELLERS IN THIS CATEGORY
Clean Architecture (Paperback)
Pearson Education (US)
Our Price : £25.49
more details
Clean Code (Paperback)
Pearson Education (US)
Our Price : £36.54
more details
Designing Data-Intensive Applications (Paperback)
O'Reilly Media, Inc, USA
Our Price : £35.03
more details
The Art of Unit Testing (Paperback)
Manning Publications
Our Price : £30.59
more details
Coaching Agile Teams (Paperback)
Pearson Education (US)
Our Price : £31.44
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 software engineering


Information provided by www.pickabook.co.uk
SHOPPING BASKET
Remove this item PLASTIC JACKETS (28P EACH)
Update quantity @  £0.28
  

  Total Items: 0
  Subtotal: £0.00
Clickto remove an item from the basket






Early Learning
Little Worried Caterpillar (PB) 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
add to basket

Picture Book
All the Things We Carry PB 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