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.

Systems and Software Verification

Name: Systems and Software Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01652609
Price: 143.83 EUR
Availability: InStock
Author: B. Berard
ISBN: 9783642074783

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01652609

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2010

Model checking is a powerful approach for the formal verification of software. It automatically prov... Volledige beschrijving

Libristo-code: 01652609

349 b

143.83 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Proces Politique Et Republicain Du Citoyen Auguste Caunes Sans Auteur

Gebonden (paperback)

13.12 €

Exzellenz in Dienstleistung Und Vertrieb Dieter Ahlert

Gebonden (paperback)

42.41 €

OXFORD Školní sešit A6 "644" linka 40 listů CZ/SK

Schrijfwaren

1.30 €

Maoři Václav Černý

Gebonden (harde band)

14.94 €

GERMAN, E JUST SO SONGS SATB/PIANO CHANT GERMAN Boek

binding.

29.28 €

Иди и делай. 12 принципов жизни, полной побед и достижений

Gebonden (harde band)

20.29 €

Un chien à ma table Hunzinger

Gebonden (paperback)

31.30 €

Radical Left Voters in Western Europe Raul Gomez

Gebonden (paperback)

64.74 €

The Fame Monster Lady Gaga Audio

Audio cd

9.69 €

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

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 Systems and Software Verification

Auteur B. Berard, M. Bidoit, A. Finkel, F. Laroussinie

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2010

Aantal pagina's 190

EAN 9783642074783

ISBN 3642074782

Libristo-code 01652609

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 328

Afmetingen 155 x 235 x 18

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Informatie-architectuur

Informatica en informatietechnologie > Computer hardware > Computer hardware: Onderhoud en reparatie

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Informatica en informatietechnologie > Besturingssystemen

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