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.

NASA Formal Methods

Name: NASA Formal Methods
Brand: Springer
SKU: 53022902
Price: 87.04 EUR
Availability: InStock
Author: Jyotirmoy Deshmukh
ISBN: 9783032280794

18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings

Jyotirmoy Deshmukh

Klaus Havelund

Alessandro Pinto

Taal

Engels

E-book Adobe ePub DRM

Uitgeverij Springer, juni 2026

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

Libristo-code: 53022902

211 b

Nieuw

87.04 €

Op voorraad Onmiddellijk te downloaden

This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on formalization of natural languagerequirements, contracts, theorem proving and rewriting logic, probabilistic model checking, automated constraint solving, static analysis, runtime verification, testing, automata learning, formal semantics and verification of programming languages, verification of AI systems, AI-assisted formal verification, and large language models (LLMs).

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 Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto

Taal

Engels

Bindwijze E-book - Adobe ePub DRM

Datum van uitgifte 2026

EAN 9783032280794

Libristo-code 53022902

Uitgeverij Springer

Serie Lecture Notes in Computer Science

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