Dependable Software Systems Engineering

Inbunden, Engelska, 2016

Av Javier Esparza, Orna Grumberg

1 859 kr

Slutsåld

Produktinformation

  • Utgivningsdatum2016-04-29
  • FormatInbunden
  • SpråkEngelska
  • Upplaga1
  • FörlagSAGE Publications
  • ISBN9781614996262

Tillhör följande kategorier

Du kanske också är intresserad av

Logics and Languages for Reliability and Security

Logics and Languages for Reliability and Security

Javier Esparza, Orna Grumberg

1 919 kr

Languages: From Formal to Natural

Languages: From Formal to Natural

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner

709 kr

Expeditionen : min kärlekshistoria (illustrerad utgåva)

Expeditionen : min kärlekshistoria (illustrerad utgåva)

Bea Uusma

399 kr579 kr

Svensk Lag 2025

Svensk Lag 2025

 

1 199 kr

Pixi adventskalender 2025 : Med böcker av Maria Trolle, Maria Nilsson Thore, Johan Anderblad, Filippa Widlund, Mårten Melin Elsa Beskow, Lotta Olsson mfl
  • Nyhet

Pixi adventskalender 2025 : Med böcker av Maria Trolle, Maria Nilsson Thore, Johan Anderblad, Filippa Widlund, Mårten Melin Elsa Beskow, Lotta Olsson mfl

Flera Författare

289 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Computer Aided Verification
Del 1254

Computer Aided Verification

Orna Grumberg

729 kr

Software Safety and Security

Software Safety and Security

Tobias Nipkow, Orna Grumberg

1 919 kr

Unfoldings

Unfoldings

Javier Esparza, Keijo Heljanko

1 449 kr

25 Years of Model Checking

25 Years of Model Checking

Orna Grumberg, Helmut Veith

519 kr