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: FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS
JOINT 11TH IFIP WG 6.1 INTERNATIONAL CONFERENCE FMOODS 2009 AND 29TH IFIP WG 6.1 INTERNATIONAL CONFERENCE FORTE 2009, LISBOA, PORTUGAL, JUNE 9-12, 2009, PROCEEDINGS
By: David Lee Kuo Cheun (Editor), Antonia Lopes (Editor), Arnd Poetzsch-Heffter (Editor)
Format: Paperback

List price: £65.99


We believe that this item is permanently unavailable, and so we cannot source it.

ISBN 10: 3642021379
ISBN 13: 9783642021374
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 25 May, 2009
Series: Lecture Notes in Computer Science / Programming and Software Engineering 5522
Pages: 261
Synopsis: This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
"...AND WE THOUGHT THE WAR WAS OVER" (HB)
101 GAMES AND DRILLS FOR MARTIAL ARTS (PB)
41 SHADES OF GREY (PB)
41 SHADES OF GREY (PB)
A DARTMOOR BOYHOOD (PB)
A GUIDE TO CIRCUIT TRAINING (PB)
ACTION STATIONS REVISITED (HB)
ADVANCING MEDIA PRODUCTION RESEARCH (HB)
AIRFIELD FOCUS 64: FINNINGLEY (PB)
AUSTRALIA AND THE BRITISH EMPIRE BETWEEN THE WARS (PB)
AUSTRALIA TURNS TO THE UNITED STATES, 1955-1957 (PB)
BEACHHEAD ASSAULT
BEACHHEAD ASSAULT (HB)
BEACHHEAD ASSAULT (PB)
BEACHHEAD ASSAULT (PB)
BEACHHEAD ASSAULT (PB)
BLUEBONNETS, FIREWHEELS, AND BROWN-EYED SUSANS, OR, POEMS NEW AND USED FROM THE BANDERA RAG AND BONE SHOP (PB)
BRAIN MECHANISMS AND SPATIAL VISION (HB)
BRAIN MECHANISMS AND SPATIAL VISION (PB)
CAIRNESE ACTIVITIES CAIRNESE TRICKS, GAMES & AGILITY INCLUDES
CECILS (HB)
CHAINSAWS
CHAINSAWS (HB)
COGNITIVE LINGUISTICS (PB)
COMMANDER ZERO (PB)
COMPETING DISCOURSES (HB)
COMPETING DISCOURSES (HB)
COMPETING DISCOURSES (PB)
CONTEXTUALIZATION OF SUFI SPIRITUALITY IN SEVENTEENTH- AND EIGHTEENTH- CENTURY CHINA
CONTEXTUALIZATION OF SUFI SPIRITUALITY IN SEVENTEENTH- AND EIGHTEENTH-CENTURY CHINA
CONTEXTUALIZATION OF SUFI SPIRITUALITY IN SEVENTEENTH- AND EIGHTEENTH-CENTURY CHINA (HB)
CULTURE, ECONOMY AND POLITICS
CULTURE, ECONOMY AND POLITICS (HB)
CULTURE, ECONOMY AND POLITICS (PB)
DECISION MAKING IN ORGANISATIONS (PB)
DESIGN THINKING IN THE CLASSROOM (PB)
DTOWN LA: A CELEBRATION OF THE DOWNTOWN LA RENAISSANCE
ENTWICKLUNG INTERAKTIVER SYSTEME (HB)
EVATT TO EVANS (PB)
EVERY ASSISTANCE AND PROTECTION (HB)
EVERY ASSISTANCE AND PROTECTION (PB)
EXERCISE AND FITNESS KNOWLEDGE (PB)
FIELD ROAST (HB)
FOUR-WHEELING ON SOUTHERN VANCOUVER ISLAND
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (PB)
GAMBLING, SEX AND TRAGEDIES
HANDBOOK OF ASIAN FINANCE
HANDBOOK OF ASIAN FINANCE (HB)
HANDBOOK OF ASIAN FINANCE (HB)
HANDBOOK OF DIGITAL CURRENCY (HB)
HAUNTS OF SAN JOSE (PB)
HEAVY HAULAGE AND ABNORMAL LOADS (PB)
HOUSEHOLD ECONOMICS AND THE ASIAN FAMILY (PB)
IN PRAISE OF PLANTS (PB)
INCREASING RESILIENCE TO CLIMATE CHANGE IN THE AGRICULTURAL SECTOR OF THE MIDDLE EAST (PB)
INDEPENDENT TELEVISION PRODUCTION IN THE (PB)
INDEPENDENT TELEVISION PRODUCTION IN THE UK (HB)
INTERPRETING TEXTS FROM THE MIDDLE AGES (HB)
IS YOUR BOSS MAKING YOU SICK?
KONZEPTE OBJEKTORIENTIERTER PROGRAMMIERUNG (HB)
KONZEPTE OBJEKTORIENTIERTER PROGRAMMIERUNG (PB)
LAST CALL
LAST CALL
LAST CALL (PB)
LEGACY OF SHADOWS
LIABILITY IN CONSTRUCTION MANAGEMENT (HB)
LUKE'S STORIES OF JESUS
LUKE'S STORIES OF JESUS (HB)
MAKING SENSE OF YOUR SURGICAL ATTACHMENT (PB)
MICROSOFT CRM 3 FOR DUMMIES
MICROSOFT CRM 3 FOR DUMMIES
MICROSOFT DYNAMICS CRM 3 FOR DUMMIES (PB)
MICROSOFT DYNAMICS CRM 4 FOR DUMMIES
MICROSOFT DYNAMICS CRM 4 FOR DUMMIES
MICROSOFT DYNAMICS CRM 4 FOR DUMMIES
MICROSOFT DYNAMICS CRM 4 FOR DUMMIES (R) (PB)
MILLENNIUM BOOK OF ALDBOURNE (HB)
MILLENNIUM BOOK OF ALDBOURNE (PB)
MODELLING VARIATION IN SPOKEN AND WRITTEN ENGLISH (HB)
MOMENTS OF DELICATE BALANCE (PB)
MORE!...YOU COULD'NER MAKE IT UP! (PB)
MY TOWN
NATURE'S FABRIC (HB)
NATURE'S PALETTE (HB)
NATURE'S PALETTE (PB)
NEVER STOP THE ENGINE WHEN IT'S HOT (HB)
NEWS FROM DOWN TO THE CAFE
NOTHING RHYMES WITH SILVER (PB)
NOTHING RHYMES WITH SILVER 2 (PB)
ONLY ONE IN THE ROOM
PEARL CITY, FLORIDA (HB)
PHARMACEUTICAL ANALYSIS (HB)
PORCINE CANTICLES
PORNOGRAPHIC FRUITCAKE LOVE STORY
PORNOGRAPHIC FRUITCAKE LOVE STORY (PB)
POWERFUL STORYTELLING TECHNIQUES (PB)
PRIMROSE COURIER
PROJECT FINANCE (HB)
PROJECT FINANCE (HB)
QUEEN''S FROG PRINCE, THE
QUICK GUIDE TO THE COMING APOCALYPSE
REARRANGE YOUR HOME USING THE PRINCIPLES OF FENG SHUI
RIVER OF IRON (HB)
RIVER OF IRON (PB)
RUSTY BARBED WIRE: SELECTED POEMS (HB)
SCOTLAND RECOMMENDS (PB)
SEARCH FOR SECURITY (PB)
SMP COMPACK 1ST STEPS PROGRAMING (PB)
SO QUIETLY THE EARTH
SOFTWARE ARCHITECTURE (PB)
STANLEY BRUCE (HB)
STANLEY MELBOURNE BRUCE
STANLEY MELBOURNE BRUCE (PB)
STOKE CITY MATCH OF MY LIFE (PB)
SUNDAY MORNING STICKUP
TEXTBOOK OF GENERAL AND ORAL SURGERY (PB)
THE BEAR (PB)
THE CASE OF THE STRIPED POLAR BEAR
THE CLAUSE IN ENGLISH
THE CLAUSE IN ENGLISH (HB)
THE GOLDEN BOYS OF '66 - THE ENGLAND 1966 WORLD CUP SQUAD (PB)
THE PEOPLE'S UNIVERSITIES OF THE USSR (HB)
THE PROBLEM OF SOCIOLOGY
THE PROBLEM OF SOCIOLOGY
THE PROBLEM OF SOCIOLOGY
THE PROBLEM OF SOCIOLOGY
THE PROBLEM OF SOCIOLOGY
THE PROBLEM OF SOCIOLOGY (HB)
THE PROBLEM OF SOCIOLOGY (PB)
THE SECOND RUSH (HB)
THE SELL OUT (PB)
THE WORLD'S LEADING INTERNET MARKETERS SECRETS REVEALED! (PB)
TOOL MARKS DON'T LIE
TOOL MARKS DON'T LIE (HB)
TRADEOFFS OR SYNERGIES? (HB)
TRANSPORT AND THE ENVIRONMENT
TRANSPORT AND THE ENVIRONMENT (PB)
TREES AND FORESTS OF TROPICAL ASIA
TREES AND FORESTS OF TROPICAL ASIA (HB)
UK SEA FISHERIES STATISTICS (HB)
UK SEA FISHERIES STATISTICS (PB)
UK SEA FISHERIES STATISTICS (PB)
UK SEA FISHERIES STATISTICS (PB)
UP CLOSE AND PERSONAL (HB)
UP CLOSE AND PERSONAL (HB)
UP CLOSE AND PERSONAL (PB)
VOICES OF WINCHESTER (PB)
WE WOULD LIKE MELON JUICE. (PB)
WEIGHT WATCHERS INSTANT POT COOKBOOK: WE (HB)
WEIGHT WATCHERS INSTANT POT COOKBOOK: WE (PB)
YOU COULD'NER MAKE IT UP! (PB)

TOP SELLERS IN THIS CATEGORY
BTEC Nationals Information Technology (Mixed media product)
Pearson Education Limited
Our Price : £29.84
more details
An Introduction to Automatic Digital Computers (Paperback)
Cambridge University Press
Our Price : £20.99
more details
Scalability, Density, and Decision Making in Cognitive Wireless Networks (Hardback)
Cambridge University Press
Our Price : £106.20
more details
Fundamentals of Multimedia (Hardback)
Springer International Publishing AG
Our Price : £87.49
more details
Guide to Computing Fundamentals in Cyber-Physical Systems (Hardback)
Springer International Publishing AG
Our Price : £27.00
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 internet
 network computers


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






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