Γ
Metody formalne (informatyka) – Bookshop
Polski
Polski
Przejdź do treści
Twój koszyk jest pusty
Kontynuuj zakupy
Masz konto?
Zaloguj się
aby sprawdzić szybciej.
Twój koszyk
0
Załadunek...
🎁 Nemokamas pristatymas nuo 23 € 🎁
TOP książki
TOP książki
Bestsellery
Pomysły na prezenty
Klasyka
Fikcja
Fikcja
Powieści
Powieści
Užsienio autorių romanai
Meilės romanai
Psichologiniai romanai
Mistiniai romanai
Žanrai
Žanrai
Detektyvai ir trileriai
Fantastika
Mokslinė fantastika
Siaubo literatūra
Trileriai
Laisvalaikis
Laisvalaikis
Aktyvumas
Aktyvumas
Sportas
Kelionės
Sportas ir fitness
Lietuvių autoriai
Lietuvių autoriai
Helga Česka
Lavisa Spell
Eglė Zakaraitė
Arūnas Žiemelis
Andrėja
Aurima Dilienė
Agnė Verksnytė
Inga Agni
Rimantas Stelmokas
Saulė Sapragonaitė
Romas Vainulevičius
Mūsų katalogas
Pagalba
Zaloguj się
Kraj/region
Austria (EUR €)
Belgia (EUR €)
Dania (EUR €)
Estonia (EUR €)
Finlandia (EUR €)
Francja (EUR €)
Hiszpania (EUR €)
Holandia (EUR €)
Kanada (EUR €)
Litwa (EUR €)
Łotwa (EUR €)
Niemcy (EUR €)
Norwegia (EUR €)
Polska (PLN zł)
Portugalia (EUR €)
Stany Zjednoczone (EUR €)
Wielka Brytania (EUR €)
Włochy (EUR €)
Zaktualizuj kraj/region
Kraj/region
Polska PLN zł
Austria
EUR €
Belgia
EUR €
Dania
EUR €
Estonia
EUR €
Finlandia
EUR €
Francja
EUR €
Hiszpania
EUR €
Holandia
EUR €
Kanada
EUR €
Litwa
EUR €
Łotwa
EUR €
Niemcy
EUR €
Norwegia
EUR €
Polska
PLN zł
Portugalia
EUR €
Stany Zjednoczone
EUR €
Wielka Brytania
EUR €
Włochy
EUR €
Szukaj
TOP książki
Bestsellery
Pomysły na prezenty
Klasyka
Fikcja
Powieści
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
Helga Česka
Lavisa Spell
Eglė Zakaraitė
Arūnas Žiemelis
Andrėja
Aurima Dilienė
Agnė Verksnytė
Inga Agni
Rimantas Stelmokas
Saulė Sapragonaitė
Romas Vainulevičius
Mūsų katalogas
Pagalba
Szukaj
Zaloguj się
Wózek
Kraj/region
Austria (EUR €)
Belgia (EUR €)
Dania (EUR €)
Estonia (EUR €)
Finlandia (EUR €)
Francja (EUR €)
Hiszpania (EUR €)
Holandia (EUR €)
Kanada (EUR €)
Litwa (EUR €)
Łotwa (EUR €)
Niemcy (EUR €)
Norwegia (EUR €)
Polska (PLN zł)
Portugalia (EUR €)
Stany Zjednoczone (EUR €)
Wielka Brytania (EUR €)
Włochy (EUR €)
Zaktualizuj kraj/region
Kraj/region
Austria
EUR €
Belgia
EUR €
Dania
EUR €
Estonia
EUR €
Finlandia
EUR €
Francja
EUR €
Hiszpania
EUR €
Holandia
EUR €
Kanada
EUR €
Litwa
EUR €
Łotwa
EUR €
Niemcy
EUR €
Norwegia
EUR €
Polska
PLN zł
Portugalia
EUR €
Stany Zjednoczone
EUR €
Wielka Brytania
EUR €
Włochy
EUR €
Metody formalne (informatyka)
Formal Methods for Industrial Critical Systems
Sprzedaż
Dodaj do koszyka
Wyprzedane
Formal Methods for Industrial Critical Systems
Sprzedawca:
Stefania Gnesi
Cena regularna
431,00 zł
Cena sprzedaży
431,00 zł
Cena regularna
444,00 zł
Cena jednostkowa
/
za
Sprzedaż
Formal Methods in Human-Computer Interaction
Sprzedaż
Dodaj do koszyka
Wyprzedane
Formal Methods in Human-Computer Interaction
Sprzedawca:
Michael Harrison
Cena regularna
237,00 zł
Cena sprzedaży
237,00 zł
Cena regularna
244,00 zł
Cena jednostkowa
/
za
Sprzedaż
Descriptional Complexity of Formal Systems
Sprzedaż
Dodaj do koszyka
Wyprzedane
Descriptional Complexity of Formal Systems
Sprzedawca:
Jeffrey Shallit
Cena regularna
237,00 zł
Cena sprzedaży
237,00 zł
Cena regularna
244,00 zł
Cena jednostkowa
/
za
Sprzedaż
Teamwork in Multi-Agent Systems
Sprzedaż
Dodaj do koszyka
Wyprzedane
Teamwork in Multi-Agent Systems
Sprzedawca:
Barbara Dunin-Kȩplicz
Cena regularna
420,00 zł
Cena sprzedaży
420,00 zł
Cena regularna
433,00 zł
Cena jednostkowa
/
za
Sprzedaż
Runtime Verification
Sprzedaż
Dodaj do koszyka
Wyprzedane
Runtime Verification
Sprzedawca:
Turkey) RV (Conference) (3rd 2012 Istanbul
Cena regularna
237,00 zł
Cena sprzedaży
237,00 zł
Cena regularna
244,00 zł
Cena jednostkowa
/
za
Sprzedaż
Rigorous Methods for Software Construction and Analysis
Sprzedaż
Dodaj do koszyka
Wyprzedane
Rigorous Methods for Software Construction and Analysis
Sprzedawca:
Jean-Raymond Abrial
Cena regularna
237,00 zł
Cena sprzedaży
237,00 zł
Cena regularna
244,00 zł
Cena jednostkowa
/
za
Sprzedaż
Process Algebra for Parallel and Distributed Processing
Sprzedaż
Dodaj do koszyka
Wyprzedane
Process Algebra for Parallel and Distributed Processing
Sprzedawca:
Michael Alexander
Cena regularna
331,00 zł
Cena sprzedaży
331,00 zł
Cena regularna
341,00 zł
Cena jednostkowa
/
za
Sprzedaż
Practical UML Statecharts in C/C++
Sprzedaż
Dodaj do koszyka
Wyprzedane
Practical UML Statecharts in C/C++
Sprzedawca:
Miro Samek
Cena regularna
315,00 zł
Cena sprzedaży
315,00 zł
Cena regularna
325,00 zł
Cena jednostkowa
/
za
Sprzedaż
NASA Formal Methods
Sprzedaż
Dodaj do koszyka
Wyprzedane
NASA Formal Methods
Sprzedawca:
Julia M. Badger
Cena regularna
315,00 zł
Cena sprzedaży
315,00 zł
Cena regularna
325,00 zł
Cena jednostkowa
/
za
Sprzedaż
Modeling and Verification of Real-time Systems
Sprzedaż
Dodaj do koszyka
Wyprzedane
Modeling and Verification of Real-time Systems
Sprzedawca:
Bookshop
Cena regularna
1.113,00 zł
Cena sprzedaży
1.113,00 zł
Cena regularna
1.147,00 zł
Cena jednostkowa
/
za
Sprzedaż
Modeling in Event-B
Sprzedaż
Dodaj do koszyka
Wyprzedane
Modeling in Event-B
Sprzedawca:
Jean-Raymond Abrial
Cena regularna
667,00 zł
Cena sprzedaży
667,00 zł
Cena regularna
688,00 zł
Cena jednostkowa
/
za
Sprzedaż
Way of Z
Sprzedaż
Dodaj do koszyka
Wyprzedane
Way of Z
Sprzedawca:
Jonathan Jacky
Cena regularna
310,00 zł
Cena sprzedaży
310,00 zł
Cena regularna
320,00 zł
Cena jednostkowa
/
za
Sprzedaż
Pokaż więcej
Pradžia
›
Visos kategorijos
›
Informatyka
›
Metody formalne (informatyka)
(0)
Szukaj
Wybranie zaznaczenia powoduje odświeżenie całej strony.
Otwiera się w nowym oknie.
