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.

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer
SKU: 44989288
Price: 121.53 EUR
Availability: InStock
Author: Kristin Yvonne Rozier
ISBN: 9783031331701

15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier

Swarat Chaudhuri

Taal

Engels

E-book Adobe ePub DRM

Uitgeverij Springer, juni 2023

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NF... Volledige beschrijving

Libristo-code: 44989288

294 b

121.53 €

Op voorraad Onmiddellijk te downloaden

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

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 NASA Formal Methods

Auteur Kristin Yvonne Rozier, Swarat Chaudhuri

Taal

Engels

Bindwijze E-book - Adobe ePub DRM

Datum van uitgifte 2023

EAN 9783031331701

Libristo-code 44989288

Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computermodellering en -simulatie

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Informatica en informatietechnologie > Computer hardware

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