Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Tests and Proofs

17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Tests and Proofs Virgile Prevosto
Libristo-code: 43672513
Uitgeverij Springer, Berlin, augustus 2023
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Volledige beschrijving
? points 125 b
51.55 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Dit vind je misschien ook interessant

Empty Cradle Rosie Goodwin / Boek Gebonden (paperback)
common.buy 12.60 €
White Jacket Herman Melville / Boek Gebonden (paperback)
common.buy 20.58 €
Pocket Scottish Tales Tony Potter / Boek Gebonden (harde band)
common.buy 8.16 €
Bladder Cancer David Pulver / Boek Gebonden (harde band)
common.buy 39.44 €
Engineers as Leaders Calloway Ph.D. Jesse L Calloway Ph.D. / Boek Gebonden (harde band)
common.buy 40.05 €
Brick by Brick Sheffield / Boek Gebonden (harde band)
common.buy 16.44 €

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
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 Virgile Prevosto, Cristina Seceleanu
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2023
Aantal pagina's 212
EAN 9783031388279
Libristo-code 43672513
Uitgeverij Springer, Berlin
Gewicht 304
Afmetingen 155 x 235

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie
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

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?