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: VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMS
By: Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog
Format: Paperback

List price: £55.00


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

ISBN 10: 1447125134
ISBN 13: 9781447125136
Publisher: SPRINGER LONDON LTD
Pub. date: 4 March, 2012
Edition: Softcover reprint of hardcover 3rd ed. 2009
Pages: 502
Description: This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
Synopsis: HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming languages. It covers the classes of - quential and parallel, deterministic and non-deterministic, distributed and object-oriented programs. For each of the classes it presents the various c- teria of correctness that are relevant for these classes, such as interference freedom, deadlock freedom, and appropriate notions of liveness for parallel programs. Also, special proof rules appropriate for each class of programs are presented. In spite of this diversity due to the rich program classes cons- ered, there exist a uniform underlying theory of veri?cation which is synt- oriented and promotes compositional approaches to veri?cation, leading to scalability of the methods. The text strikes the proper balance between mathematical rigor and - dactic introduction of increasingly complex rules in an incremental manner, adequately supported by state-of-the-art examples.As a result it can serve as a textbook for a variety of courses on di?erent levels and varying durations. It can also serve as a reference book for researchers in the theory of veri?- tion, in particular since it contains much material that never before appeared in book form. This is specially true for the treatment of object-oriented p- grams which is entirely novel and is strikingly elegant.
Illustrations: 26 black & white illustrations, biography
Publication: UK
Imprint: Springer London Ltd
Returns: Returnable
Some other items by this author:
"DIE UNSICHTBAREN DRITTEN" (PB)
'WARUM TUN DIE DAS?'
(DIA)LOGBUCH SACHSEN (PB)
(UN)HEIMLICHE LUST (PB)
A COURSE IN MATHEMATICAL LOGIC FOR MATHEMATICIANS (PB)
A REAL MIND (PB)
A SPACE OF THEIR OWN (PB)
A WORLD WITHOUT VALUES (PB)
ABNAHME KOMPLEXER SOFTWARE-SYSTEME (HB)
ABSCHIED VOM PLANUNGSWAHN (PB)
ABSTRACT PARABOLIC EVOLUTION EQUATIONS AND THEIR APPLICATIONS (PB)
ACCESS 2000 (PB)
ADVANCED DESIGN AND MANUFACTURING BASED ON STEP (PB)
ADVANCED TREASURY MANAGEMENT
ADVANCES IN BIOMEDICAL SENSING, MEASUREMENTS, INSTRUMENTATION AND SYSTEMS (PB)
ADVANCES IN MACHINE LEARNING AND DATA ANALYSIS (PB)
ADVANCES IN NUMERICAL METHODS (PB)
ADVANCING THE FRONTIERS OF SIMULATION (PB)
AGENT-BASED SERVICE-ORIENTED COMPUTING (PB)
AKQUISITIONSMETHODE UND BEWERTUNG IMMATERIELLER VERMOGENSWERTE (PB)
ALGEBRA IN DER SEKUNDARSTUFE
ALGEBRA LINEARE ED EQUAZIONI DIFFERENZIALI ORDINARIE (PB)
ALGEBRAISCHE TRANSFORMATIONSGRUPPEN UND INVARIANTENTHEORIE ALGEBRAIC TRANSFORMATION GROUPS AND INVARIANT THEORY (PB)
ALKALOIDE (PB)
ALTERED SENSATIONS (PB)
ALTERN IM SOZIALEN WANDEL: DIE RUCKKEHR DER ALTERSARMUT? (PB)
ALTERNATIVE ENERGIETECHNIK
AMTLICHE MITTEILUNGEN AUS DER ABTEILUNG FUR FORSTEN DES KONIGLICH PREUSSISCHEN MINISTERIUMS FUR LANDWIRTSCHAFT, DOMANEN UND FORSTEN (PB)
AMTLICHE MITTEILUNGEN AUS DER ABTEILUNG FUR FORSTEN DES PREUSSISCHEN MINISTERIUMS FUR LANDWIRTSCHAFT, DOMANEN UND FORSTEN (PB)
AMTLICHE MITTEILUNGEN AUS DER ABTEILUNG FUR FORSTEN DES PREUSSISCHEN MINISTERIUMS FUR LANDWIRTSCHAFT, DOMANEN UND FORSTEN (PB)
AN INTRODUCTION TO SOIL DYNAMICS (PB)
AN INTRODUCTION TO ZOOLOGY (HB)
AN INTRODUCTION TO ZOOLOGY LAB MANUAL (PB)
ANALYSE DER METALLE (PB)
ANALYSE VON STRATEGIEN DER AUTOMOBILINDUSTRIE ZUR REDUKTION VON CO2-FLOTTENEMISSIONEN UND ZUR MARKTEINFUHRUNG ALTERNATIVER ANTRIEBE
ANALYSIS 2
ANALYSYS INDIVIDUELL (PB)
ANERKENNUNG UND GEWALT AN SCHULEN (PB)
ANGEWANDTE MATHEMATIK MIT MATHCAD (PB)
ANGEWANDTE STATISTIK (PB)
ANGSTBEWUSSTE FUHRUNG (PB)
ANIMAL CELL TECHNOLOGY (PB)
ANIMATION AND PERFORMANCE CAPTURE USING DIGITIZED MODELS (PB)
ANLAGEBERATUNG BEI RETAILBANKEN (PB)
ANTEILSBASIERTE VERGUTUNG NACH IFRS 2
APPLICATIONS OF SYMMETRY METHODS TO PARTIAL DIFFERENTIAL EQUATIONS (PB)
APPLIED AND NUMERICAL PARTIAL DIFFERENTIAL EQUATIONS (PB)
APPLIED PLASTICITY, SECOND EDITION (PB)
APPLIED POLICY RESEARCH: CONCEPTS AND CASES (HB)
APPLIED POLICY RESEARCH: CONCEPTS AND CASES (PB)
APPLIED PROBABILITY-COMPUTER SCIENCE: THE INTERFACE VOLUME 1 (HB)
ARBEITEN UND LERNEN SELBST MANAGEN (PB)
ARCHITEKTUR.AKTUELL 350 5 2009 (PB)
AROUND THE RESEARCH OF VLADIMIR MAZ'YA (PB)
AROUND THE RESEARCH OF VLADIMIR MAZ'YA (PB)
ART MATTERS (PB)
AUFGABEN UND LOSUNGEN IN DER VOLKSWIRTSCHAFTSLEHRE
AUKTIONEN UND REVENUE MANAGEMENT IN DER AUTOMOBILINDUSTRIE (PB)
AUSGEWAHLTE SCHRIFTEN
AUSLEGUNG VON KONSTRUKTIONSELEMENTEN (HB)
AUSWIRKUNGEN VON BASEL III AUF RISIKOMANAGEMENT UND RISIKOCONTROLLING
AUTONOMOUS AND AUTONOMIC SYSTEMS: WITH APPLICATIONS TO NASA INTELLIGENT SPACECRAFT OPERATIONS AND EXPLORATION SYSTEMS (PB)
AUTUMN BRIDES (HB)
BAUBETRIEBSLEHRE - PROJEKTMANAGEMENT
BEHANDLUNGSPLANUNG IN DER NOTAUFNAHME VON KRANKENHAUSERN (PB)
BEOBACHTUNGEN DES ERZIEHUNGSSYSTEMS
BERATUNG VON STIEFFAMILIEN
BERICHT UBER DIE UNFALLCHIRURGISCHE TAGUNG AM 12. UND 13. JANUAR 1952 IN STUTTGART
BERICHTE UBER DIE WIRKSAMKEIT DES ALKOHOLS BEI DER HANDEDESINFEKTION (PB)
BERICHTERSTATTUNG ZUR SOZIOOKONOMISCHEN ENTWICKLUNG IN DEUTSCHLAND (HB)
BESTIMMUNG DES REPOSITIONIERUNGSSPIELRAUMS VON MARKEN (PB)
BETRIEBLICHE FAMILIENPOLITIK (PB)
BETRIEBSFUHRUNG IM GESUNDHEITSWESEN
BETRIEBSWIRTSCHAFT UND SEKRETARIAT
BETRIEBSWIRTSCHAFTLICHE PRAXISF HRUNG F (HB)
BETWEEN THEORY AND OBSERVATIONS (PB)
BGB ALLGEMEINER TEIL (PB)
BIBLIOGRAPHIE JUGENDHILFE 1995
BIBLIOGRAPHIE JUGENDHILFE 1996
BILD UND HABITUS
BILDINTERPRETATION UND BILDVERSTEHEN (PB)
BILDVERARBEITUNG FUR DIE MEDIZIN 2012 (PB)
BILDVERARBEITUNG FUR DIE MEDIZIN 2013
BIOGRAPHISCHE KONSTRUKTIONEN IM MULTIKULTURELLEN BILDUNGSPROZESS
BIOHYDROGEN (PB)
BIOINFORMATICS METHODS IN CLINICAL RESEARCH (PB)
BIOREFINERIES (PB)
BONUSPROGRAMME (HB)
BOT IM BAUWESEN (PB)
BRAIN INSPIRED COGNITIVE SYSTEMS (PB)
BRILLOUIN-WIGNER METHODS FOR MANY-BODY SYSTEMS (PB)
BUCHFUHRUNG UND FINANZBERICHTE
BURGERBETEILIGUNG UND WEB 2.0 (PB)
BUROPROJEKTENTWICKLUNG IM SPANNUNGSFELD VON TRANSAKTIONSKOSTEN UND STADTPLANERISCHER INTERVENTION (PB)
BUSINESS CASES
CAMPIONAMENTO DA POPOLAZIONI FINITE (PB)
CELL LINE DEVELOPMENT (PB)
CHALLENGES AND OPPORTUNITIES OF CONNECTED K-COVERED WIRELESS SENSOR NETWORKS (PB)
CHEF, SO BITTE NICHT MIT MIR!
CHILDBIRTH ACROSS CULTURES (PB)
CHILDREN DEPRIVED OF PARENTAL CARE; A STUDY OF CHILDREN TAKEN UNDER CARE BY DELAWARE AGENCIES AND INSTITUTIONS
CHINA'S EMERGING FINANCIAL MARKETS (PB)
CLEANING AND CONDITIONING AGENTS (HB)
CLIMATE CHANGE, INTERCROPPING, PEST CONTROL AND BENEFICIAL MICROORGANISMS (PB)
CLOCKING IN MODERN VLSI SYSTEMS (PB)
CLOSED-END FUNDS, EXCHANGE-TRADED FUNDS, AND HEDGE FUNDS (PB)
COGNITIVE REASONING (PB)
COHOMOLOGIE CRISTALLINE DES SCHEMAS DE CARACTERISTIQUE P > O (PB)
COLLECTED PAPERS
COLLOQUIUM UBER SCHALTKREIS- UND SCHALTWERK-THEORIE (PB)
COMBAT MODELING (PB)
COMMUNITY QUALITY-OF-LIFE INDICATORS (PB)
COMMUNITY QUALITY-OF-LIFE INDICATORS (PB)
COMPARING DISTRIBUTIONS (PB)
COMPENDIUM OF THE MICROBIOLOGICAL SPOILAGE OF FOODS AND BEVERAGES (PB)
COMPLEX NETWORKS (PB)
COMPLEXITY AND SPATIAL NETWORKS (PB)
COMPUTATIONAL INTELLIGENCE (PB)
COMPUTATIONAL SOCIAL NETWORK ANALYSIS (PB)
COMPUTATIONAL STATISTICS (PB)
CONCEPTS IN LAW (PB)
CONSTRAINT LOGIC PROGRAMMING USING ECLIPSE
CONSTRAINT LOGIC PROGRAMMING USING ECLIPSE (HB)
CONSUMER CREDIT IN EUROPE (PB)
CONTEMPORARY LEADERSHIP THEORIES (PB)
CONTROL OF SHIPS AND UNDERWATER VEHICLES (PB)
CONTROLLING CHAOS (PB)
CONVECTION IN FLUIDS (PB)
COOPERATIVE AND NONCOOPERATIVE MULTI-LEVEL PROGRAMMING (PB)
CORRECT SYSTEM DESIGN (PB)
COURSE ILT- MICROSOFT ACCESS 2000- MODULE 1 (HB)
CR SUBMANIFOLDS OF COMPLEX PROJECTIVE SPACE (PB)
CRITTOGRAFIA NEL PAESE DELLE MERAVIGLIE (PB)
CRM ERFOLGREICH EINFÏ¿½HREN (PB)
CULTURAL INTELLIGENCE
CUSTOMER SATISFACTION EVALUATION (PB)
CYBER SITUATIONAL AWARENESS (PB)
CYBERSTALKING UND CYBERCRIME (PB)
DAS 15-MINUTEN-ZIELGESPRACH
DAS A.R.T.-PRINZIP (HB)
DAS AGG IN DER UNTERNEHMENSPRAXIS (HB)
DAS DISKURSFAHIGE SUBJEKT (PB)
DAS GLOBAL MINDSET VON MANAGERN (PB)
DAS KOMMUNIKATIONSZENTRUM WUPPERTAL DIE BORSE (PB)
DAS KONZEPT DER PREISORIENTIERTEN QUALITATSBEURTEILUNG (PB)
DAS OKONOMISCHE DILEMMA DER MEDIENPRODUKTION (PB)
DAS RECHT DER BERLINER VERWALTUNG (PB)
DAS VERHALTNIS VON STABILITAT UND FLEXIBILITAT AUF DEM DEUTSCHEN ARBEITSMARKT (PB)
DAS VOLKSBAD (PB)
DATA ENGINEERING (PB)
DATA MINING IM PERSONALMANAGEMENT (PB)
DATA MINING IN AGRICULTURE (PB)
DATEN- UND IDENTITATSSCHUTZ IN CLOUD COMPUTING, E-GOVERNMENT UND E-COMMERCE (HB)
DATENHANDBUCH
DATENSCHUTZ BEI WEARABLE COMPUTING (PB)
DECENTRALISATION, SCHOOL-BASED MANAGEMENT, AND QUALITY (PB)
DEFEKTE DEMOKRATIE
DEFORMATION THEORY (PB)
DELIKTS- UND SCHADENSERSATZRECHT
DEMENTAGOGIK (PB)
DEMOGRAPHISIERUNG DES GESELLSCHAFTLICHEN
DER CAPABILITY APPROACH UND SEINE ANWENDUNG (PB)
DER ENTWICKLUNGSPROZESS DER SOZIALISTISCHEN REPUBLIK VIETNAM (PB)
DER GMBH-GESCHAFTSFUHRER (HB)
DER GMBH-GESELLSCHAFTER (HB)
DER IT BUSINESS CASE (HB)
DER MULTILEVEL-CHARAKTER DER REPUTATION VON UNTERNEHMEN (PB)
DER PATIENT AM LEBENSENDE (PB)
DER PSYCHIATRISCHE NOTFALL (PB)
DER SOZIOLOGISCHE BLICK (PB)
DER UBERZEUGENDE PERSONLICHE AUFTRITT
DESIGN AND ANALYSIS OF VACCINE STUDIES (PB)
DESIGN OF OBSERVATIONAL STUDIES (PB)
DESIGNING USER FRIENDLY AUGMENTED WORK ENVIRONMENTS (PB)
DESKRIPTIVE STATISTIK (PB)
DETERMINANTEN DES VORGRUNDUNGSPROZESSES (PB)
DEUTSCHES TAX TREATY OVERRIDING (PB)
DEVICE PHYSICS OF NARROW GAP SEMICONDUCTORS (PB)
DIE AUFLOSUNG VON AKTIENFONDS (PB)
DIE BALANCE IM MANAGEMENT (PB)
DIE BEDEUTUNG VON ARTIKEL 5 F DER RASSE (HB)
DIE BEHANDLUNG DES EMISSIONSHANDELS IN DER HANDELS- UND STEUERBILANZ (PB)
DIE BERUFLICHE GESCHLECHTERSEGREGATION IN DEUTSCHLAND (PB)
DIE BESTEN MANAGEN (HB)
DIE BILDUNG DER GEFUHLE
DIE DIENSTLEISTUNGSGESELLSCHAFT DER KASSENARZTLICHEN VEREINIGUNG ( 77A SGB V) (PB)
DIE DIGITALE HERAUSFORDERUNG
DIE DOPPELTE DEFENSIVE (PB)
DIE DYNAMIK EUROPAS (PB)
DIE DYNAMIK VON PRIVATHEIT UND OFFENTLICHKEIT IN MODERNEN GESELLSCHAFTEN
DIE GESCHICHTE DES OKONOMISCHEN DENKENS (PB)
DIE GRENZEN DER WIRTSCHAFTSPOLITIK (HB)
DIE HAGENAUER RUHREPIDEMIE DES SOMMERS 1908
DIE INNENPOLITIK DER AUSSENPOLITIK
DIE KAFER MITTELEUROPAS, BD. 13: SUPPLEMENT ZU BD. 6-11 (HB)
DIE KAPITALVERFLECHTUNG DER MONTANINDUSTRIE IN NORDRHEIN-WESTFALEN MIT DEM AUSLAND
DIE KLASSISCHE BETRIEBSAUFSPALTUNG ZWISCHEN WIRTSCHAFTLICHER EINHEIT UND RECHTLICHER SELBSTSTANDIGKEIT (PB)
DIE KONSTRUKTION DES ALTERS (PB)
DIE KORROSION DER METALLE (HB)
DIE KUNST DES CLUSTERNS (PB)

TOP SELLERS IN THIS CATEGORY
Clean Architecture (Paperback)
Pearson Education (US)
Our Price : £24.74
more details
Computer Systems: A Programmer's Perspective (Paperback)
Pearson Education Limited
Our Price : £73.07
more details
Design Recipes for FPGAs (Paperback)
Elsevier Science & Technology
Our Price : £41.39
more details
Programmable Logic Controllers (Paperback)
Elsevier Science & Technology
Our Price : £39.60
more details
Systems Architecture (Paperback)
Pearson Education Limited
Our Price : £73.07
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer hardware & operating systems
 computer architecture & logic design


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