Finding Your Way Through Formal Verification

Häftad, Engelska

Av Manish Pandey, Sean Safarpour

469 kr

Beställningsvara. Skickas inom 3-6 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • FormatHäftad
  • SpråkEngelska
  • Antal sidor134
  • FörlagCreatespace Independent Publishing Platform
  • ISBN9781986274111

Tillhör följande kategorier

Mer från samma författare

Performance Metrics for Sustainable Cities

Performance Metrics for Sustainable Cities

Sylvie Albert, Manish Pandey, Canada) Albert, Sylvie (University of Winnipeg

2 659 kr

Performance Metrics for Sustainable Cities

Performance Metrics for Sustainable Cities

Sylvie Albert, Manish Pandey, Canada) Albert, Sylvie (University of Winnipeg

769 kr

Implementing Sustainable Cities

Implementing Sustainable Cities

Sylvie Albert, Jeremy Millard, Manish Pandey, Canada) Albert, Sylvie (University of Winnipeg, Denmark) Millard, Jeremy (Third Millennium Governance

729 kr

Implementing Sustainable Cities

Implementing Sustainable Cities

Sylvie Albert, Jeremy Millard, Manish Pandey, Canada) Albert, Sylvie (University of Winnipeg, Denmark) Millard, Jeremy (Third Millennium Governance

2 789 kr

Advances in Remote Sensing Technology and the Three Poles

Advances in Remote Sensing Technology and the Three Poles

Manish Pandey, Prem C. Pandey, Yogesh Ray, Aman Arora, Shridhar D. Jawak, Uma K. Shukla, India) Pandey, Manish (Chandigarh University, India) Pandey, Prem C. (Shiv Nadar Institute of Eminence, India) Ray, Yogesh (Ministry of Earth Sciences (Government of India), India) Arora, Aman (Bihar Mausam Sewa Kendra (Government of Bihar), Norway) Jawak, Shridhar D. (Svalbard Integrated Arctic Earth Observing System (SIOS), India) Shukla, Uma K. (Banaras Hindu University, Varanasi, Prem C Pandey, Shridhar D Jawak, Uma K Shukla

2 529 kr

Geo-information for Disaster Monitoring and Management

Geo-information for Disaster Monitoring and Management

Prem C. Pandey, Rajesh Kumar, Manish Pandey, Gregory Giuliani, R. K. Sharma, Prashant K. Srivastava

2 039 kr

Geo-information for Disaster Monitoring and Management

Geo-information for Disaster Monitoring and Management

Prem C. Pandey, Rajesh Kumar, Manish Pandey, Gregory Giuliani, R. K. Sharma, Prashant K. Srivastava

1 819 kr

Booming Digital Stars

Booming Digital Stars

Harsh Pamnani, Manish Pandey

329 kr

Booming Digital Stars

Booming Digital Stars

Harsh Pamnani, Manish Pandey

269 kr

River Dynamics and Flood Hazards

River Dynamics and Flood Hazards

Manish Pandey, Hazi Azamathulla, Jaan H. Pu

3 199 kr

Du kanske också är intresserad av

Kafé Pumpkin Spice
  • Nyhet
Del 1

Kafé Pumpkin Spice

Laurie Gilmore

79 kr125 kr

Jul med guldkant
  • Nyhet

Jul med guldkant

Catarina König

299 kr349 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

 

49 kr79 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

Hydraulics and Fluid Mechanics, Volume 1

Hydraulics and Fluid Mechanics, Volume 1

Manish Pandey, N. V. Umamahesh, Z. Ahmad, Giuseppe Oliveto

4 319 kr

Implementing Sustainable Cities

Implementing Sustainable Cities

Sylvie Albert, Jeremy Millard, Manish Pandey, Canada) Albert, Sylvie (University of Winnipeg, Denmark) Millard, Jeremy (Third Millennium Governance

729 kr

Booming Digital Stars

Booming Digital Stars

Harsh Pamnani, Manish Pandey

329 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

Flood Forecasting and Hydraulic Structures

Flood Forecasting and Hydraulic Structures

Manish Pandey, N. V. Umamahesh, Z. Ahmad, Manousos Valyrakis

4 639 kr

Hydraulics and Fluid Mechanics, Volume 2

Hydraulics and Fluid Mechanics, Volume 2

Manish Pandey, N V Umamahesh, Z Ahmad, Giuseppe Oliveto, N. V. Umamahesh, Z. Ahmad

3 649 kr