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.

Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

Taal EngelsEngels
E-book Adobe ePub DRM
Uitgeverij Springer, oktober 2022
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Met... Volledige beschrijving
? points 148 b
61.11 €
Op voorraad Onmiddellijk te downloaden

Klanten kochten ook

Repertoire General Du Theatre Francais. Theatre Du Second Ordre. Comedies En Vers. Tome III H NICOLLE / Boek Gebonden (paperback)
common.buy 25.19 €
Tom i Jerry. Ognisty Tom. Wersja ukraińska/Том і Джеррі. Вогнедишний Том Charles Carney / Boek Gebonden (paperback)
common.buy 2.52 €

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

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 Formal Methods and Software Engineering
Auteur Adrian Riesco, Min Zhang
Taal Engels
Bindwijze E-book - Adobe ePub DRM
Datum van uitgifte 2022
EAN 9783031172441
Libristo-code 42060769
Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
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

Dit vind je misschien ook interessant

Theory of Logical Calculi Ryszard Wójcicki / Boek Gebonden (harde band)
common.buy 308.55 €
Lonely Planet Quechua Phrasebook & Dictionary Lonely Planet / Boek Gebonden (paperback)
common.buy 11.53 €
Deadwood Days Steven Merrill Ulmen / Boek Gebonden (paperback)
common.buy 13.65 €
The Image Of Air And Other Poems (1878) Algernon Sydney Logan / Boek Gebonden (harde band)
common.buy 33.59 €
Mr. Robe's Fourth Letter to Mr. Fisher, his Preface to a 2d Edit. of his Review is Considered; the Promoters of the Divine Work, Opposed by Mr. Fisher JAMES ROBE / Boek Gebonden (harde band)
common.buy 30.75 €
It Sticks Out Half A Mile Jimmy Perry / Luisterboek MP3
common.buy 6.26 €

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?