• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)

      Finding Your Way Through Formal Verification

      AvManish Pandey,Sean Safarpour

      Häftad, Engelska

      367 kr

      Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.

      Produktinformation

      • Format:Häftad
      • Språk:Engelska
      • Antal sidor:134
      • Förlag:Createspace Independent Publishing Platform
      • ISBN:9781986274111
      Hoppa över listan

      Mer från samma författare

      Sylvie Albert, Manish Pandey - Performance Metrics for Sustainable Cities, Inbunden

      Performance Metrics for Sustainable Cities

      Sylvie Albert, Manish Pandey

      Inbunden, 2021

      2 455 kr

      Sylvie Albert, Manish Pandey - Performance Metrics for Sustainable Cities, Häftad

      Performance Metrics for Sustainable Cities

      Sylvie Albert, Manish Pandey

      Häftad, 2023

      676 kr

      Achala Shakya, Gaurav Tripathi, Ritambhara K. Upadhyay, Dhanendra K. Singh, Mahesh Pal, Arvind Chandra Pandey, Manish Pandey - GeoAI-Driven Earth Observation for Sustainable Development, Häftad

      GeoAI-Driven Earth Observation for Sustainable Development

      Achala Shakya, Gaurav Tripathi, Ritambhara K. Upadhyay, Dhanendra K. Singh, Mahesh Pal, Arvind Chandra Pandey, Manish Pandey

      Häftad, 2026

      1 765 kr

      Manish Pandey, Sylvie Albert - Performance Metrics for Sustainable Cities, E-bok

      Performance Metrics for Sustainable Cities

      Manish Pandey, Sylvie Albert

      E-bok
      2021

      788 kr

      Manish Pandey, Sylvie Albert - Performance Metrics for Sustainable Cities, E-bok

      Performance Metrics for Sustainable Cities

      Manish Pandey, Sylvie Albert

      E-bok
      2021

      788 kr

      Sylvie Albert, Jeremy Millard, Manish Pandey - Implementing Sustainable Cities, Häftad

      Implementing Sustainable Cities

      Sylvie Albert, Jeremy Millard, Manish Pandey

      Häftad, 2024

      652 kr

      Sylvie Albert, Jeremy Millard, Manish Pandey - Implementing Sustainable Cities, Inbunden

      Implementing Sustainable Cities

      Sylvie Albert, Jeremy Millard, Manish Pandey

      Inbunden, 2024

      2 528 kr

      Varun Narayan Mishra, Maya Kumari, Manish Pandey, Akshay Kumar - Advanced Urban Informatics, Inbunden
      • Nyhet

      Advanced Urban Informatics

      Varun Narayan Mishra, Maya Kumari, Manish Pandey, Akshay Kumar

      Inbunden, 2026

      2 455 kr

      Manish Pandey, Jeremy Millard, Sylvie Albert - Implementing Sustainable Cities, E-bok

      Implementing Sustainable Cities

      Manish Pandey, Jeremy Millard, Sylvie Albert

      E-bok
      2024

      738 kr

      Manish Pandey, Jeremy Millard, Sylvie Albert - Implementing Sustainable Cities, E-bok

      Implementing Sustainable Cities

      Manish Pandey, Jeremy Millard, Sylvie Albert

      E-bok
      2024

      738 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Sylvie Albert, Jeremy Millard, Manish Pandey - Implementing Sustainable Cities, Häftad

      Implementing Sustainable Cities

      Sylvie Albert, Jeremy Millard, Manish Pandey

      Häftad, 2024

      652 kr

      Giuseppe Oliveto, Anil Kumar Gupta, Manish Pandey - River, Sediment and Hydrological Extremes: Causes, Impacts and Management, E-bok

      River, Sediment and Hydrological Extremes: Causes, Impacts and Management

      Giuseppe Oliveto, Anil Kumar Gupta, Manish Pandey

      E-bok
      2023

      3 948 kr

      Manish Pandey, N. V. Umamahesh, Z. Ahmad, Giuseppe Oliveto - Hydraulics and Fluid Mechanics, Volume 1, Häftad

      Hydraulics and Fluid Mechanics, Volume 1

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

      Häftad, 2026

      3 091 kr

      Manish Pandey, N V Umamahesh, Z Ahmad, Giuseppe Oliveto - Hydraulics and Fluid Mechanics, Volume 2, Häftad
      Del 560

      Hydraulics and Fluid Mechanics, Volume 2

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

      Häftad, 2025

      2 540 kr

      Manish Pandey, N.V. Umamahesh, Jew Das, Jaan H. Pu - Hydrology and Hydrologic Modelling, Häftad
      Del 410

      Hydrology and Hydrologic Modelling

      Manish Pandey, N.V. Umamahesh, Jew Das, Jaan H. Pu

      Häftad, 2025

      3 311 kr

      Manish Pandey, K. V. Jayakumar, Manali Pal, Vijay P. Singh - Soft Computing and Geospatial Techniques in Water Resources Engineering, Inbunden
      Del 397

      Soft Computing and Geospatial Techniques in Water Resources Engineering

      Manish Pandey, K. V. Jayakumar, Manali Pal, Vijay P. Singh

      Inbunden, 2024

      3 091 kr

      Manish Pandey, Jeremy Millard, Sylvie Albert - Implementing Sustainable Cities, E-bok

      Implementing Sustainable Cities

      Manish Pandey, Jeremy Millard, Sylvie Albert

      E-bok
      2024

      738 kr

      Shray Pathak, Manish Pandey - Geospatial Technology and Advanced Instrumentation in Addressing Water Resources Planning and Management, Inbunden
      • Nyhet

      Geospatial Technology and Advanced Instrumentation in Addressing Water Resources Planning and Management

      Shray Pathak, Manish Pandey

      Inbunden, 2026

      1 549 kr

      Uma K. Shukla, Shridhar D. Jawak, Aman Arora, Yogesh Ray, Prem C. Pandey, Manish Pandey - Advances in Remote Sensing Technology and the Three Poles, E-bok

      Advances in Remote Sensing Technology and the Three Poles

      Uma K. Shukla, Shridhar D. Jawak, Aman Arora, Yogesh Ray, Prem C. Pandey, Manish Pandey

      E-bok
      2022

      2 582 kr

      Harsh Pamnani, Manish Pandey - Booming Digital Stars, Häftad

      Booming Digital Stars

      Harsh Pamnani, Manish Pandey

      Häftad, 2024

      207 kr