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.

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663942
Price: 51.73 EUR
Availability: InStock
Author: Ezio Bartocci
ISBN: 9783642391750

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Ezio Bartocci

C. R. Ramakrishnan

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01663942

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

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Volledige beschrijving

Libristo-code: 01663942

125 b

51.73 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Ste. Roche Henriette Von Paalzow

Gebonden (paperback)

17.91 €

Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann

Gebonden (paperback)

53.15 €

Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira

Gebonden (paperback)

6.17 €

Hisskillen i Lissabon Cupido

MP3

3.13 €

Puzzle 3x48 Peppa Pig

Puzzel

6.47 €

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

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 Model Checking Software

Auteur Ezio Bartocci, C. R. Ramakrishnan

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2013

Aantal pagina's 377

EAN 9783642391750

ISBN 3642391753

Libristo-code 01663942

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

Gewicht 593

Afmetingen 155 x 235 x 22

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

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