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.

Verification of Sequential and Concurrent Programs

Name: Verification of Sequential and Concurrent Programs
Brand: Springer London Ltd
SKU: 08577018
Price: 80.53 EUR
Availability: InStock
Author: Ernst-Rudiger Olderog
ISBN: 9781447125136

Ernst-Rudiger Olderog

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 08577018

Uitgeverij Springer London Ltd, maart 2012

This book explores one of the most common approaches to program verification, known as the assertion... Volledige beschrijving

Libristo-code: 08577018

195 b

80.53 €

In extern magazijn Wordt binnen 8-11 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE

Gebonden (harde band)

54.05 €

Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller

Gebonden (paperback)

14.44 €

Мёртвые души Николай Гоголь

Gebonden (paperback)

9.39 €

Samsø Kulturreiseführer Kristen Benning

Gebonden (paperback)

19.90 €

Quand les animaux nous font du bien Paoli laurence

Gebonden (paperback)

25.86 €

Le second crime de la Dame en noir - roman Lorde Boek

Gebonden (paperback)

24.04 €

Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D

Gebonden (paperback)

28.18 €

Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN

Boek

18.99 €

Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee

Gebonden (paperback)

11.31 €

Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S

Gebonden (paperback)

34.85 €

Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo

Gebonden (paperback)

82.95 €

Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs

Gebonden (paperback)

9.08 €

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.

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 Verification of Sequential and Concurrent Programs

Auteur Ernst-Rudiger Olderog

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2012

Aantal pagina's 502

EAN 9781447125136

ISBN 9781447125136

Libristo-code 08577018

Uitgeverij Springer London Ltd

Gewicht 746

Afmetingen 156 x 235 x 28

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

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