Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

NASA Formal Methods

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha NASA Formal Methods Jyotirmoy Deshmukh
Libristo kód: 52184285
Nakladateľstvo Springer, Berlin, august 2026
This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NF... Celý popis
? points 206 b Pripravujeme Pripravujeme Nové Nové
85.08 €
Očakávaná novinka Vydanie 13. 08. 2026 Vydanie 13. 08. 2026

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Zdravý rozum v šachu Emanuel Lasker / Kniha Brožovaná
common.buy 8.39 €
Fytoterapie perem lékaře Karol Mika / Kniha Pevná
common.buy 26.20 €
Námořní bouře Andrew Mayne / Kniha Pevná
common.buy 3.43 €
Perunova krev 1 František Kotleta / Kniha Brožovaná
common.buy 11.12 €
Top Pripravujeme Nové
Nachmittags regnet es Bussarde Barbara Geiser / Kniha Pevná
common.buy 41.07 €
Nové
NANO FLUORURO D'ARGENTO KUSUMA RAMANNA / Kniha Brožovaná
common.buy 43.60 €

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 language
requirements, 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).

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov NASA Formal Methods
Autor Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2026
Počet strán 553
EAN 9783032280787
Libristo kód 52184285
Nakladateľstvo Springer, Berlin
Séria Lecture Notes in Computer Science
Rozmery 155 x 235

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Počítačové modelovanie a simulácie
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Počítačový hardvér
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Top
Naruto: Sasuke's Story - Sunrise Shin Towada / Kniha Brožovaná
common.buy 9.30 €
Top
My Masked Shadow Arden Hart / Kniha Brožovaná
common.buy 11.52 €
Pripravujeme Nové
Murder Whets Its Whistle / Kniha Pevná
common.buy 23.06 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet