Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Modeling and Verification of Parallel Processes

Name: Modeling and Verification of Parallel Processes
Brand: Springer, Berlin
SKU: 01563891
Price: 44.4 EUR
Availability: InStock
Author: Franck Cassez
ISBN: 9783540427872

4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Revised Tutorial Lectures

Franck Cassez

Claude Jard

Brigitte Rozoy

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01563891

Uitgeverij Springer, Berlin, november 2000

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant contro... Volledige beschrijving

Libristo-code: 01563891

107 b

44.40 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Ludwig Achim's von Arnim sammtliche Werke, Band 1, Novellen, Band 1 Achim Arnim

Gebonden (harde band)

148.89 €

Vvedenie v nanofiziku Sergej Jur'evich Davydov

Gebonden (paperback)

46.72 €

I Love to Tell the Truth (Punjabi English Bilingual Book for Kids - Gurmukhi) Kidkiddos Books

Gebonden (harde band)

25.99 €

Bracelet Agate Crazy Lace Perles rondes 8 mm

binding.

5.76 €

S. XVII SALES TIRAPU

Gebonden (harde band)

17.59 €

Vortragskurs normale physiologie. Band zwei Firuz Shukurov

Gebonden (paperback)

62.30 €

El sinsentido del sintoma Gerardo Arenas

Adobe ePub DRM

12.13 €

H.P. Lovecraft. Dagon e altri racconti brevi Sergio Vanello

Gebonden (harde band)

23.05 €

When I am Gloomy (English Chinese Simplified Bilingual Children's Book) Kidkiddos Books

Gebonden (paperback)

16.58 €

Граф Аверин. Колдун Российской империи (подарочное издание) Виктор Дашкевич

Gebonden (harde band)

33.07 €

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Modeling and Verification of Parallel Processes

Auteur Franck Cassez, Claude Jard, Brigitte Rozoy

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2001

Aantal pagina's 234

EAN 9783540427872

ISBN 3540427872

Libristo-code 01563891

Uitgeverij Springer, Berlin

Gewicht 376

Afmetingen 155 x 233 x 12

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Computernetwerken en communicatiesystemen > Gedistribueerde systemen

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger