Hurtig levering
Fremragende Trustpilot
Op til 20% Rabat på nye medlemsordrer
Kurv

Formal Methods in Outer Space

Engelsk Paperback
SPAR
kr 117

Formal Methods in Outer Space

Engelsk Paperback
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.

After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA''s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the Turning Goals Into Reality engineering innovation award, the Outstanding Technology Development award, and the JPL Mariner, Ranger, Voyager, and Magellan awards.

Klaus has provided constant and generous service to the formal methods community by organizing, participating in, and chairing numerous committees. His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards. His research activities have generated more than 100 publications with more than 100 collaborators, cited over 12,000 times.

The book title reflects Klaus''s main research and engineering focus throughout his career: formal methods, often applied at NASA. The contributions, which went through a peer-review process, cover a wide spectrum of the topics related to his scientific interests, including programming language design, static analysis, runtime verification, dynamic assurance, and automata learning.

Eksklusiv medlemspris 446 kr
Medlemspris 458 kr
Denne pris er kun for medlemmer. Du bliver automatisk medlem når du køber til denne pris. Prøv 7 dages gratis medlemskab (herefter automatisk 89 kr/30 dage). Læs mere om fordelene
Gratis fragt
23 - 25 hverdage
10 kr
Lavt pakkegebyr
Normalpris 563 kr
Fragt: 59 kr
23 - 25 hverdage
20 kr
Pakkegebyr
Spar 117 kr
Se vores konkurrenters priser her
God 15.890 anmeldelser på
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and collaborators.

After work as a software programmer in various Danish companies, Klaus has held research positions at various institutes, including the Danish Datamatics Center, the Ecole Polytechnique, LIP 6 lab in Paris, Aalborg University, and NASA Ames. Since 2006 he has been working in NASA''s Jet Propulsion Laboratory (JPL), the federally funded center managed by Caltech whose primary function is to construct and operate planetary robotic spacecraft. His professional awards include the Turning Goals Into Reality engineering innovation award, the Outstanding Technology Development award, and the JPL Mariner, Ranger, Voyager, and Magellan awards.

Klaus has provided constant and generous service to the formal methods community by organizing, participating in, and chairing numerous committees. His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards. His research activities have generated more than 100 publications with more than 100 collaborators, cited over 12,000 times.

The book title reflects Klaus''s main research and engineering focus throughout his career: formal methods, often applied at NASA. The contributions, which went through a peer-review process, cover a wide spectrum of the topics related to his scientific interests, including programming language design, static analysis, runtime verification, dynamic assurance, and automata learning.

Produktdetaljer
Sprog: Engelsk
Sider: 193
ISBN-13: 9783030873479
Indbinding: Paperback
Udgave:
ISBN-10: 3030873471
Kategori: Softwareudvikling
Udg. Dato: 28 sep 2021
Længde: 0mm
Bredde: 235mm
Højde: 155mm
Forlag: Springer Nature Switzerland AG
Oplagsdato: 28 sep 2021
Forfatter(e):
Forfatter(e)


Kategori Softwareudvikling


Sprog Engelsk


Indbinding Paperback


Sider 193


Udgave


Længde 0mm


Bredde 235mm


Højde 155mm


Udg. Dato 28 sep 2021


Oplagsdato 28 sep 2021

MEDLEMSFORDELE
GRATIS FRAGT
SPAR OP TIL 90%
Andre har også købt
BOG (INDBUNDET)
Eksklusiv medlemspris kr 380

kr 499
Normalpris
kr 392
Medlemspris
SPAR
kr 119
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 279
Normalpris
kr 207
Medlemspris
SPAR
kr 80
BOG (INDBUNDET)
Eksklusiv medlemspris kr 214

kr 320
Normalpris
kr 225
Medlemspris
SPAR
kr 106
BOG (INDBUNDET)
Eksklusiv medlemspris kr 105

kr 120
Normalpris
kr 107
Medlemspris
SPAR
kr 15
BOG (INDBUNDET)
Eksklusiv medlemspris kr 184

kr 299
Normalpris
kr 196
Medlemspris
SPAR
kr 115
BOG (FYSISK BOG)
Eksklusiv medlemspris kr 200

kr 200
Normalpris
kr 200
Medlemspris
BOG (HÆFTET)
Eksklusiv medlemspris kr 182

kr 250
Normalpris
kr 189
Medlemspris
SPAR
kr 68
BOG (INDBUNDET)
Eksklusiv medlemspris kr 919

kr 1.499
Normalpris
kr 977
Medlemspris
SPAR
kr 580
BOG (HÆFTET)
Eksklusiv medlemspris kr 200

kr 280
Normalpris
kr 208
Medlemspris
SPAR
kr 80
BOG (HÆFTET)
Eksklusiv medlemspris kr 191

kr 269
Normalpris
kr 199
Medlemspris
SPAR
kr 78
BOG (HÆFTET)
Eksklusiv medlemspris kr 172

kr 249
Normalpris
kr 180
Medlemspris
SPAR
kr 77
BOG (INDBUNDET)
Eksklusiv medlemspris kr 95

kr 120
Normalpris
kr 98
Medlemspris
SPAR
kr 25
BOG (HÆFTET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 262

kr 349
Normalpris
kr 271
Medlemspris
SPAR
kr 87
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 320
Normalpris
kr 211
Medlemspris
SPAR
kr 121
BOG (PAPERBACK)
Eksklusiv medlemspris kr 565

kr 883
Normalpris
kr 597
Medlemspris
SPAR
kr 318
BOG (PAPERBACK)
Eksklusiv medlemspris kr 166

kr 201
Normalpris
kr 170
Medlemspris
SPAR
kr 35
BOG (INDBUNDET)
Eksklusiv medlemspris kr 199

kr 299
Normalpris
kr 209
Medlemspris
SPAR
kr 100
BOG (INDBUNDET)
Eksklusiv medlemspris kr 167

kr 250
Normalpris
kr 175
Medlemspris
SPAR
kr 83
BOG (INDBUNDET)
Eksklusiv medlemspris kr 168

kr 229
Normalpris
kr 174
Medlemspris
SPAR
kr 61
Vi anbefaler også
BOG (PAPERBACK)
Eksklusiv medlemspris kr 485

kr 619
Normalpris
kr 498
Medlemspris
SPAR
kr 134
BOG (PAPERBACK)
Eksklusiv medlemspris kr 682

kr 901
Normalpris
kr 704
Medlemspris
SPAR
kr 219
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 407

kr 506
Normalpris
kr 417
Medlemspris
SPAR
kr 99
BOG (PAPERBACK)
Eksklusiv medlemspris kr 385

kr 427
Normalpris
kr 389
Medlemspris
SPAR
kr 42
BOG (PAPERBACK)
Eksklusiv medlemspris kr 455

kr 518
Normalpris
kr 461
Medlemspris
SPAR
kr 63
BOG (PAPERBACK)
Eksklusiv medlemspris kr 402

kr 450
Normalpris
kr 407
Medlemspris
SPAR
kr 48
BOG (PAPERBACK)
Eksklusiv medlemspris kr 266

kr 315
Normalpris
kr 271
Medlemspris
SPAR
kr 49
BOG (PAPERBACK)
Eksklusiv medlemspris kr 265

kr 292
Normalpris
kr 268
Medlemspris
SPAR
kr 27
BOG (HARDBACK)
Eksklusiv medlemspris kr 863

kr 889
Normalpris
kr 866
Medlemspris
SPAR
kr 26