Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

NASA Formal Methods

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga NASA Formal Methods Jyotirmoy Deshmukh
Libristo kod: 52184285
Nakladnici Springer, Berlin, kolovoz 2026
This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NF... Cijeli opis
? points 185 b Novo Novo
76.26 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Pripremamo Novo
Nachmittags regnet es Bussarde Barbara Geiser / Knjiga Tvrdi uvez
common.buy 41.06 €
Bláznivo čarovné okienka Zvieratká / Knjiga Leporelo
common.buy 6.56 €
NANO FLUORURO D'ARGENTO KUSUMA RAMANNA / Knjiga Meki uvez
common.buy 43.59 €
Z klenotnice - Rozhovory s osobnosťami Jana Šimulčíková / Knjiga Tvrdi uvez
common.buy 10.11 €
Perunova krev 1 František Kotleta / Knjiga Meki uvez
common.buy 11.72 €
Námořní bouře Andrew Mayne / Knjiga Tvrdi uvez
common.buy 3.23 €
Bob Dylan Paul Williams / Knjiga Meki uvez
common.buy 6.77 €
Harvey Milk : "Non à l'homophobie" Amor / Knjiga Meki uvez
common.buy 12.63 €
Top
Moje prvé pravidlá premávky neuvedený autor / Knjiga Meki uvez
common.buy 3.73 €
Fytoterapie perem lékaře Karol Mika / Knjiga Tvrdi uvez
common.buy 33.07 €
Zdravý rozum v šachu Emanuel Lasker / Knjiga Meki uvez
common.buy 8.08 €
Mémoires Et Lettres De Mme De Maintenon, Volume 12 Maintenon / Knjiga Meki uvez
common.buy 24.07 €
Henrik Ibsen "Gespenster" - Analyse der Form und des Inhalts unter dem Aspekt des Naturalismus Kirsten Ludwig / Knjiga Meki uvez
common.buy 14.46 €

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).

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv NASA Formal Methods
Autor Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2026
Broj stranica 553
EAN 9783032280787
Libristo kod 52184285
Nakladnici Springer, Berlin
Serija Lecture Notes in Computer Science
Težina 811
Dimenzije 155 x 235

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer modelling & simulation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer hardware
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Novo
Optimal Control in Random Environments Daniel Hernández -Hernández / Knjiga Meki uvez
common.buy 54.72 €
Top
Critic as Artist, The Oscar Wilde / Knjiga Meki uvez
common.buy 12.84 €
Joker: One Operation Joker Vol. 1 Keisuke Gotou / Knjiga Meki uvez
common.buy 8.39 €
Rejected Mate Arya Karin / Knjiga Meki uvez
common.buy 14.66 €
Palm Beach Living Jennifer Ash Rudick / Knjiga Tvrdi uvez
common.buy 70.90 €
Top
My Masked Shadow Arden Hart / Knjiga Meki uvez
common.buy 12.13 €
Historical Jurisprudence: An Introduction To The Systematic Study Of The Development Of Law (1900) Guy Carleton Lee / Knjiga Meki uvez
common.buy 42.07 €
Dawn of a New Dream Nathan Daniel Fenn / Knjiga Meki uvez
common.buy 7.68 €
Pripremamo Novo
Murder Whets Its Whistle / Knjiga Tvrdi uvez
common.buy 24.57 €
Top
Naruto: Sasuke's Story - Sunrise Shin Towada / Knjiga Meki uvez
common.buy 9.70 €
Just Passing Through Hans Peter Zell / Knjiga Tvrdi uvez
common.buy 31.45 €
Big Sister Wendy Macgown / Knjiga Meki uvez
common.buy 19.21 €
Novo
The Boy From The Noodle Shop [Special Edition] RHM / Knjiga Meki uvez
common.buy 55.32 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun