Metody formalne (informatyka)

Formalūs metodai (kompiuteriniai mokslai) – šioje kategorijoje rasite 13 knygų. Nuo pripažintos klasikos iki naujausių leidimų. Užsakykite internetu, pristatome visoje Lietuvoje.

Metody formalne (informatyka)

Rodoma 1-13 iš 13+
Modeling and Verification of Real-time Systems
France)) Navet Nicolas (Real-Time Systems at INRIA Lorraine (Nancy
1.137,00 zł-3%
1.174,00 zł
Pristatymas 3-4 sav.
NASA Formal Methods
Julia M. Badger
325,00 zł-4%
337,00 zł
Pristatymas 3-4 sav.
Practical UML Statecharts in C/C++
Miro Samek
325,00 zł-4%
337,00 zł
Pristatymas 3-4 sav.
Process Algebra for Parallel and Distributed Processing
Michael Alexander
341,00 zł-4%
354,00 zł
Pristatymas 3-4 sav.
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial
245,00 zł-4%
255,00 zł
Pristatymas 3-4 sav.
Runtime Verification
Turkey) RV (Conference) (3rd 2012 Istanbul
245,00 zł-4%
255,00 zł
Pristatymas 3-4 sav.
Teamwork in Multi-Agent Systems
Barbara Dunin-Kȩplicz
432,00 zł-3%
447,00 zł
Pristatymas 3-4 sav.
Descriptional Complexity of Formal Systems
Jeffrey Shallit
245,00 zł-4%
255,00 zł
Pristatymas 3-4 sav.
Formal Methods
Jean-Louis Boulanger
747,00 zł-3%
772,00 zł
Pristatymas 3-4 sav.
The Way of Z
Jonathan Jacky
320,00 zł-4%
332,00 zł
Pristatymas 3-4 sav.
Modeling in Event-B
Jean-Raymond Abrial
683,00 zł-3%
706,00 zł
Pristatymas 3-4 sav.
Formal Methods in Human-Computer Interaction
Michael Harrison
245,00 zł-4%
255,00 zł
Pristatymas 3-4 sav.
Formal Methods for Industrial Critical Systems
Stefania Gnesi
443,00 zł-3%
458,00 zł
Pristatymas 3-4 sav.