Gratis bezorging voor bestellingen boven de 69,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 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Tests and Proofs

Name: Tests and Proofs
Brand: Springer International Publishing AG
SKU: 10954109
Price: 51.53 EUR
Availability: InStock
Author: Bernhard K. Aichernig
ISBN: 9783319411347

10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Bernhard K. Aichernig

Carlo A. Furia

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 10954109

Uitgeverij Springer International Publishing AG, juni 2016

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Pro... Volledige beschrijving

Libristo-code: 10954109

125 b

51.53 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

L'Empire Byzantin, Son Evolution Sociale Et Politique. l'Etre Politique GRENIER-P

Gebonden (paperback)

25.11 €

Песнь Сорокопута (Песнь Сорокопута #1) Фрэнсис Кель

Gebonden (harde band)

21.78 €

Ne pas déranger les dragons (broché) - Tome 01 Michelle Robinson

Gebonden (paperback)

16.94 €

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.§The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.§

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 Tests and Proofs

Auteur Bernhard K. Aichernig, Carlo A. Furia

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2016

Aantal pagina's 199

EAN 9783319411347

ISBN 3319411349

Libristo-code 10954109

Uitgeverij Springer International Publishing AG

Gewicht 3343

Afmetingen 155 x 235 x 14

Categorieën

Informatica en informatietechnologie > Grafische en digitale media-applicaties > 3D graphics en modellering

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 > 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