20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!

Willkommen, schön sind Sie da!

Mein Ex Libris
Jetzt anmelden
- Bitte melden Sie sich an, um das Produkt zu bewerten.
  
  Bitte melden Sie sich an, um das Produkt als hilfreich/nicht hilfreich zu bewerten.
  
  Bitte melden Sie sich an, um eine Bewertung als Missbrauch zu melden.
  
  Bitte melden Sie sich an, um Ihre Merkliste zu sehen.
  
  Bitte melden Sie sich an, um Produkte in Ihre Merkliste hinzuzufügen.
  
  Bitte melden Sie sich an, um eine Rückmeldung zu geben.
  
  Die eingegebene E-Mail Adresse und/oder das Passwort sind nicht korrekt.
  
  E-Mail-Adresse
  
  Passwort
  
  Passwort vergessen
  
  Angemeldet bleiben
  
  Jetzt Konto eröffnen
  
  Bitte geben Sie Ihre E-Mail-Adresse ein. Existiert zu dieser Adresse ein Ex Libris-Konto, wird Ihnen ein Link zugeschickt, um ein neues Passwort zu setzen.
  
  Der Link wurde an die angegebene Adresse verschickt, sofern ein zugehöriges Ex Libris-Konto vorhanden ist.
  
  E-Mail-Adresse
  
  Zur Anmeldung Jetzt Konto eröffnen
DE FR

-1
- Der Artikel wurde der Merkliste hinzugefügt.

0
- Sie haben bereits bei einem früheren Besuch Artikel in Ihren Warenkorb gelegt. Ihr Warenkorb wurde nun mit diesen Artikeln ergänzt.
  
  Der Artikel wurde dem Warenkorb hinzugefügt.
  
  Ihr Warenkorb ist leer.
  
  cart.message.error
  Total
  
  CHF
  
  Zur Kasse

Erweiterte Suche

Bücher

Musik
- Musik im Club
- CD
- Vinyl
- Notenblätter

Games
- PC
- PS 5
- PS 4
- Xbox Series X

Mehr
- Geschenke & Fun

schliessen

Club-Welt Geschenkefinder Disney-Welten Aktionen & Specials Gutscheine schenken

Cover: https://exlibris.azureedge.net/covers/9783/6423/1759/0/9783642317590xl.jpg

Model Checking Software

E-Book (pdf)
261 Seiten

(0) Erste Bewertung abgeben

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPI... Weiterlesen

E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.

CHF 61.50

Download steht sofort bereit

Informationen zu E-Books: E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.

Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

Produktinformationen

Titel:	Model Checking Software
Untertitel:	19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Editor:	Alastair Donaldson David Parker
EAN:	9783642317590
Digitaler Kopierschutz:	Wasserzeichen
Format:	E-Book (pdf)
Hersteller:	Springer Berlin Heidelberg
Genre:	IT & Internet
Anzahl Seiten:	261
Veröffentlichung:	18.07.2012
Dateigrösse:	5.3 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Band 7365

Ihr Link zur Ex Libris-Reader-App

Model Checking Software

E-Book (pdf)

Beschreibung

Produktinformationen

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Software Service and Application Engineering

Advances in Brain Inspired Cognitive Systems

Advances in Neural Networks - ISNN 2012

Advances in Neural Networks - ISNN 2012

Arithmetic of Finite Fields

The Multivariate Algorithmic Revolution and Beyond

Data and Applications Security and Privacy XXVI

Information Security and Privacy

Progress in VLSI Design and Test

Progress in Cryptology -- AFRICACRYPT 2012

Biomimetic and Biohybrid Systems

Machine Learning and Data Mining in Pattern Recognition

Advances in Data Mining. Applications and Theoretical Aspects

Articulated Motion and Deformable Objects

User Modeling, Adaptation, and Personalization

Transactions on Computational Science XVI

Implementation and Application of Automata

Computers Helping People with Special Needs

Computers Helping People with Special Needs

Privacy Enhancing Technologies

Model Checking Software

Descriptional Complexity of Formal Systems

Web Engineering

Lectures on Logic and Computation

Intelligent Computing Technology

Intelligent Computing Theories and Applications

Automata, Languages, and Programming

Automata, Languages, and Programming

Deontic Logic in Computer Science

Communications and Multimedia Security

Formal Grammar

Energy Efficient Data Centers

Financial Cryptography and Data Security

Financial Cryptography and Data Security

Coalgebraic Methods in Computer Science

Transactions on Petri Nets and Other Models of Concurrency VI

Artificial Evolution

Combinatorial Optimization and Applications

Cognitive Behavioural Systems

Similarity Search and Applications

Wireless Algorithms, Systems, and Applications

Beliebt

Neuerscheinungen

Schenken

Disney-Welten

Newsletter

Vorbestellen

Übersicht

Charts

Ex Libris Club

Hilfe

Über uns

Einfach zahlen mit

Folgen Sie uns