• 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)
      1. Data och IT
      2. Programmeringsböcker

      Structured Object-Oriented Formal Language and Method

      Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

      AvShaoying Liu

      Häftad, Engelska, 2013

      Del i serien Lecture Notes in Computer Science

      529 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.

      Produktinformation

      • Utgivningsdatum:2013-08-14
      • Mått:155 x 235 x 9 mm
      • Vikt:254 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:149
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783642392764

      Utforska kategorier

      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Testing and tools.- Tools for specification.- Model checking.- Application and prototyping.
      Hoppa över listan

      Du kanske också är intresserad av

      Shaoying Liu - Agile-SOFL, Häftad

      Agile-SOFL

      Shaoying Liu

      Häftad, 2025

      1 368 kr

      Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method, E-bok

      Structured Object-Oriented Formal Language and Method

      Zhenhua Duan, Shaoying Liu

      E-bok
      2014

      732 kr

      Shaoying Liu - Formal Engineering for Industrial Software Development, Häftad

      Formal Engineering for Industrial Software Development

      Shaoying Liu

      Häftad, 2010

      574 kr

      Shaoying Liu, Hiroyuki Okamura, Yuting Chen - Software Fault Prevention, Verification, and Validation, E-bok

      Software Fault Prevention, Verification, and Validation

      Shaoying Liu, Hiroyuki Okamura, Yuting Chen

      E-bok
      2026

      975 kr

      Zhenhua Duan, Shaoying Liu, Cong Tian, Huaikou Miao - Structured Object-Oriented Formal Language and Method, E-bok

      Structured Object-Oriented Formal Language and Method

      Zhenhua Duan, Shaoying Liu, Cong Tian, Huaikou Miao

      E-bok
      2020

      732 kr

      Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan - Structured Object-Oriented Formal Language and Method, Häftad

      Structured Object-Oriented Formal Language and Method

      Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan

      Häftad, 2021

      574 kr

      Kazuhiro Ogata, Mark Lawford, Shaoying Liu - Formal Methods and Software Engineering, Häftad
      Del 10009

      Formal Methods and Software Engineering

      Kazuhiro Ogata, Mark Lawford, Shaoying Liu

      Häftad, 2016

      574 kr

      Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya - Structured Object-Oriented Formal Language and Method, Häftad
      Del 11392

      Structured Object-Oriented Formal Language and Method

      Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

      Häftad, 2019

      574 kr

      Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan - Structured Object-Oriented Formal Language and Method, Häftad
      Del 12028

      Structured Object-Oriented Formal Language and Method

      Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan

      Häftad, 2020

      574 kr

      Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method, E-bok

      Structured Object-Oriented Formal Language and Method

      Zhenhua Duan, Shaoying Liu

      E-bok
      2015

      569 kr