Formaalsed meetodid (arvutiteadus) – Bookshop

Γ

Formaalsed meetodid (arvutiteadus) – Bookshop Skip to content

Teie ostukorv on tühi

Jätka ostlemist

Kas teil on konto?

Kiiremaks kontrollimiseks logige sisse aadressil.

Teie ostukorv 0

Laadimine...

Vahesumma

€0,00 EUR

Vaata ostukorvi (0)

Jätka ostlemist

🎁 Nemokamas pristatymas nuo 23 € 🎁

TOP raamatud
Ilukirjandus
- Romaanid
  
  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

Riik/piirkond

Riik/piirkond

Ameerika Ühendriigid EUR €
Austria EUR €
Belgia EUR €
Eesti EUR €
Hispaania EUR €
Holland EUR €
Itaalia EUR €
Kanada EUR €
Läti EUR €
Leedu EUR €
Norra EUR €
Poola PLN zł
Portugal EUR €
Prantsusmaa EUR €
Saksamaa EUR €
Soome EUR €
Taani EUR €
Ühendkuningriik EUR €

Otsi

TOP raamatud
Ilukirjandus
- Romaanid
  
  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

Otsi

Logi sisse Ostukorv

Riik/piirkond

Riik/piirkond

Ameerika Ühendriigid EUR €
Austria EUR €
Belgia EUR €
Eesti EUR €
Hispaania EUR €
Holland EUR €
Itaalia EUR €
Kanada EUR €
Läti EUR €
Leedu EUR €
Norra EUR €
Poola PLN zł
Portugal EUR €
Prantsusmaa EUR €
Saksamaa EUR €
Soome EUR €
Taani EUR €
Ühendkuningriik EUR €

Formaalsed meetodid (arvutiteadus)

Viršelio tüüp

0 Valitud

Viršelio tüüp

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

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

Autorius

0 Valitud

Autorius

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

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

Sorteerimine:

13 esemed

Eemaldage kõik

Filter Filter

Filter

Filter

13 esemed

Sorteerimine:

Viršelio tüüp

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

Ilmselgelt

Autorius

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

Ilmselgelt

Eemaldage kõik

Eemaldage kõik

13 esemed

Formal Methods for Industrial Critical Systems

Väljamüük

Formal Methods for Industrial Critical Systems

Müüja:
Stefania Gnesi

Tavaline hind €99,37

Müügihind €99,37 Tavaline hind €102,44
Ühiku hind kaudu.

Väljamüük
Formal Methods in Human-Computer Interaction

Väljamüük

Formal Methods in Human-Computer Interaction

Müüja:
Michael Harrison

Tavaline hind €54,56

Müügihind €54,56 Tavaline hind €56,25
Ühiku hind kaudu.

Väljamüük
Descriptional Complexity of Formal Systems

Väljamüük

Descriptional Complexity of Formal Systems

Müüja:
Jeffrey Shallit

Tavaline hind €54,55

Müügihind €54,55 Tavaline hind €56,24
Ühiku hind kaudu.

Väljamüük
Teamwork in Multi-Agent Systems

Väljamüük

Teamwork in Multi-Agent Systems

Müüja:
Barbara Dunin-Kȩplicz

Tavaline hind €96,94

Müügihind €96,94 Tavaline hind €99,94
Ühiku hind kaudu.

Väljamüük
Runtime Verification

Väljamüük

Runtime Verification

Müüja:
Turkey) RV (Conference) (3rd 2012 Istanbul

Tavaline hind €54,55

Müügihind €54,55 Tavaline hind €56,24
Ühiku hind kaudu.

Väljamüük
Rigorous Methods for Software Construction and Analysis

Väljamüük

Rigorous Methods for Software Construction and Analysis

Müüja:
Jean-Raymond Abrial

Tavaline hind €54,55

Müügihind €54,55 Tavaline hind €56,24
Ühiku hind kaudu.

Väljamüük
Process Algebra for Parallel and Distributed Processing

Väljamüük

Process Algebra for Parallel and Distributed Processing

Müüja:
Michael Alexander

Tavaline hind €76,38

Müügihind €76,38 Tavaline hind €78,74
Ühiku hind kaudu.

Väljamüük
Practical UML Statecharts in C/C++

Väljamüük

Practical UML Statecharts in C/C++

Müüja:
Miro Samek

Tavaline hind €72,74

Müügihind €72,74 Tavaline hind €74,99
Ühiku hind kaudu.

Väljamüük
NASA Formal Methods

Väljamüük

NASA Formal Methods

Müüja:
Julia M. Badger

Tavaline hind €72,74

Müügihind €72,74 Tavaline hind €74,99
Ühiku hind kaudu.

Väljamüük
Modeling and Verification of Real-time Systems

Väljamüük

Modeling and Verification of Real-time Systems

Müüja:
Bookshop

Tavaline hind €256,99

Müügihind €256,99 Tavaline hind €264,94
Ühiku hind kaudu.

Väljamüük
Modeling in Event-B

Väljamüük

Modeling in Event-B

Müüja:
Jean-Raymond Abrial

Tavaline hind €153,99

Müügihind €153,99 Tavaline hind €158,75
Ühiku hind kaudu.

Väljamüük
Way of Z

Väljamüük

Way of Z

Müüja:
Jonathan Jacky

Tavaline hind €71,54

Müügihind €71,54 Tavaline hind €73,75
Ühiku hind kaudu.

Väljamüük

Pradžia › Visos kategorijos›Arvutiteadus›Formaalsed meetodid (arvutiteadus)

HOME

Pagrindinis
Privatumo politika
Naudojimosi sąlygos

SHOP

Pagalba
Kauba kohaletoimetamise tingimused
Kauba tagastamine ja garantii

Makseviisid

Riik/piirkond

Riik/piirkond

Ameerika Ühendriigid EUR €
Austria EUR €
Belgia EUR €
Eesti EUR €
Hispaania EUR €
Holland EUR €
Itaalia EUR €
Kanada EUR €
Läti EUR €
Leedu EUR €
Norra EUR €
Poola PLN zł
Portugal EUR €
Prantsusmaa EUR €
Saksamaa EUR €
Soome EUR €
Taani EUR €
Ühendkuningriik EUR €

MB Laufgard · info@bookshop.lt

Otsi

Valiku valimine värskendab kogu lehte.
Avaneb uues aknas.