Formal Methods (Computer Science) – Bookshop

Γ

Formal Methods (Computer Science) – Bookshop Skip to content

Your cart is empty

Continue Shopping

Have an account?

Log in to check out faster.

Your Cart 0

Loading...

Subtotal

€0,00 EUR

View cart (0)

Tax included. Shipping calculated at checkout. Continue Shopping

🎁 Nemokamas pristatymas nuo 23 € 🎁

TOP knygos
Grožinė literatūra
- Romanai
  
  Užsienio autorių romanai
  Meilės romanai
  Psichologiniai romanai
  Mistiniai romanai
- Žanrai
  
  Detektyvai ir trileriai
  Fantastika
  Mokslinė fantastika
  Siaubo literatūra
  Trileriai
Laisvalaikis
- Aktyvumas
  
  Sportas
  Kelionės
  Sportas ir fitness
Lietuvių autoriai
Mūsų katalogas
Pagalba

Country/region

Country/region

Austria EUR €
Belgium EUR €
Canada EUR €
Denmark EUR €
Estonia EUR €
Finland EUR €
France EUR €
Germany EUR €
Italy EUR €
Latvia EUR €
Lithuania EUR €
Netherlands EUR €
Norway EUR €
Poland PLN zł
Portugal EUR €
Spain EUR €
United Kingdom EUR €
United States EUR €

Search

TOP knygos
Grožinė literatūra
- Romanai
  
  Užsienio autorių romanai
  Meilės romanai
  Psichologiniai romanai
  Mistiniai romanai
- Žanrai
  
  Detektyvai ir trileriai
  Fantastika
  Mokslinė fantastika
  Siaubo literatūra
  Trileriai
Laisvalaikis
- Aktyvumas
  
  Sportas
  Kelionės
  Sportas ir fitness
Lietuvių autoriai
Mūsų katalogas
Pagalba

Search

Country/region

Country/region

Austria EUR €
Belgium EUR €
Canada EUR €
Denmark EUR €
Estonia EUR €
Finland EUR €
France EUR €
Germany EUR €
Italy EUR €
Latvia EUR €
Lithuania EUR €
Netherlands EUR €
Norway EUR €
Poland PLN zł
Portugal EUR €
Spain EUR €
United Kingdom EUR €
United States EUR €

Formal Methods (Computer Science)

Viršelio tipas

0 selected

Viršelio tipas

Kietas viršelis (4 items)
Minkštas viršelis (9 items)

Kietas viršelis (4 items)
Minkštas viršelis (9 items)

Brand

0 selected

Brand

Barbara Dunin-Kȩplicz (1 item)
Bookshop (1 item)
Jean-Louis Boulanger (1 item)
Jean-Raymond Abrial (2 items)
Jeffrey Shallit (1 item)
Jonathan Jacky (1 item)
Julia M. Badger (1 item)
Michael Alexander (1 item)
Michael Harrison (1 item)
Miro Samek (1 item)
Stefania Gnesi (1 item)
Turkey) RV (Conference) (3rd 2012 Istanbul (1 item)

Barbara Dunin-Kȩplicz (1 item)
Bookshop (1 item)
Jean-Louis Boulanger (1 item)
Jean-Raymond Abrial (2 items)
Jeffrey Shallit (1 item)
Jonathan Jacky (1 item)
Julia M. Badger (1 item)
Michael Alexander (1 item)
Michael Harrison (1 item)
Miro Samek (1 item)
Stefania Gnesi (1 item)
Turkey) RV (Conference) (3rd 2012 Istanbul (1 item)

Sort by:

13 items

Filter Filter

Filter

Filter

13 items

Sort by:

Viršelio tipas

Kietas viršelis (4 items)
Minkštas viršelis (9 items)

Clear

Brand

Barbara Dunin-Kȩplicz (1 items)
Bookshop (1 items)
Jean-Louis Boulanger (1 items)
Jean-Raymond Abrial (2 items)
Jeffrey Shallit (1 items)
Jonathan Jacky (1 items)
Julia M. Badger (1 items)
Michael Alexander (1 items)
Michael Harrison (1 items)
Miro Samek (1 items)
Stefania Gnesi (1 items)
Turkey) RV (Conference) (3rd 2012 Istanbul (1 items)

Clear

Remove All

13 items

Formal Methods for Industrial Critical Systems

Sold out

Formal Methods for Industrial Critical Systems

Vendor:
Stefania Gnesi

Regular price €99,37

Sale price €99,37 Regular price €102,44
Unit price per

Sold out
Formal Methods in Human-Computer Interaction

Sold out

Formal Methods in Human-Computer Interaction

Vendor:
Michael Harrison

Regular price €54,56

Sale price €54,56 Regular price €56,25
Unit price per

Sold out
Descriptional Complexity of Formal Systems

Sold out

Descriptional Complexity of Formal Systems

Vendor:
Jeffrey Shallit

Regular price €54,55

Sale price €54,55 Regular price €56,24
Unit price per

Sold out
Teamwork in Multi-Agent Systems

Sold out

Teamwork in Multi-Agent Systems

Vendor:
Barbara Dunin-Kȩplicz

Regular price €96,94

Sale price €96,94 Regular price €99,94
Unit price per

Sold out
Runtime Verification

Sold out

Runtime Verification

Vendor:
Turkey) RV (Conference) (3rd 2012 Istanbul

Regular price €54,55

Sale price €54,55 Regular price €56,24
Unit price per

Sold out
Rigorous Methods for Software Construction and Analysis

Sold out

Rigorous Methods for Software Construction and Analysis

Vendor:
Jean-Raymond Abrial

Regular price €54,55

Sale price €54,55 Regular price €56,24
Unit price per

Sold out
Process Algebra for Parallel and Distributed Processing

Sold out

Process Algebra for Parallel and Distributed Processing

Vendor:
Michael Alexander

Regular price €76,38

Sale price €76,38 Regular price €78,74
Unit price per

Sold out
Practical UML Statecharts in C/C++

Sold out

Practical UML Statecharts in C/C++

Vendor:
Miro Samek

Regular price €72,74

Sale price €72,74 Regular price €74,99
Unit price per

Sold out
NASA Formal Methods

Sold out

NASA Formal Methods

Vendor:
Julia M. Badger

Regular price €72,74

Sale price €72,74 Regular price €74,99
Unit price per

Sold out
Modeling and Verification of Real-time Systems

Sold out

Modeling and Verification of Real-time Systems

Vendor:
Bookshop

Regular price €256,99

Sale price €256,99 Regular price €264,94
Unit price per

Sold out
Modeling in Event-B

Sold out

Modeling in Event-B

Vendor:
Jean-Raymond Abrial

Regular price €153,99

Sale price €153,99 Regular price €158,75
Unit price per

Sold out
Way of Z

Sold out

Way of Z

Vendor:
Jonathan Jacky

Regular price €71,54

Sale price €71,54 Regular price €73,75
Unit price per

Sold out

Pradžia › Visos kategorijos›Computer Science›Formal Methods (Computer Science)

HOME

Pagrindinis
Privatumo politika
Naudojimosi sąlygos

SHOP

Pagalba
Terms of delivery
Returns and warranty

Payment methods

Country/region

Country/region

Austria EUR €
Belgium EUR €
Canada EUR €
Denmark EUR €
Estonia EUR €
Finland EUR €
France EUR €
Germany EUR €
Italy EUR €
Latvia EUR €
Lithuania EUR €
Netherlands EUR €
Norway EUR €
Poland PLN zł
Portugal EUR €
Spain EUR €
United Kingdom EUR €
United States EUR €

Powered By Shopify

Search

Choosing a selection results in a full page refresh.
Opens in a new window.