Gratis verzending vanaf 59,99 euro.
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
Bezorging
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Gratis bezorging met Zásilkovna boven 59.99 €
Winkelgids
Mijn account
▸
Leeg :-(
0
Gratis verzending vanaf 59,99 euro.
Formal Methods
Taal
Engels
Engels
Boek
Gebonden (paperback)
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel...
Volledige beschrijving
Libristo-code: 37633220
?
274 b
274 b
113.31
€
In extern magazijn
Wordt binnen 5-8 dagen verzonden
Retourneren binnen 30 dagen
Klanten kochten ook
/
Gebonden (paperback)
11.12
€
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.
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
Formal Methods
Auteur
Naijun Zhan, Corina Pasareanu
Taal
Engels
Engels
Bindwijze
Boek - Gebonden (paperback)
Datum van uitgifte
2021
Aantal pagina's
800
EAN
9783030908690
ISBN
3030908690
Libristo-code
37633220
Uitgeverij
Springer Nature Switzerland AG
Gewicht
1234
Afmetingen
155 x 235 x 44
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 ontvangerDit vind je misschien ook interessant
/
Gebonden (harde band)
102.99
€
