Formālās metodes (datorzinātne)

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

Formālās metodes (datorzinātne)

Rāda 1-13 no 13+
Modeling and Verification of Real-time Systems
Nicolas (Real-Time Systems at INRIA Lorraine (Nancy, France)) Navet
€257,99-3%
€266,44
Piegāde 3-4 ned.
NASA Formal Methods
Julia M. Badger
€73,74-4%
€76,49
Piegāde 3-4 ned.
Practical UML Statecharts in C/C++
Miro Samek
€73,74-4%
€76,49
Piegāde 3-4 ned.
Process Algebra for Parallel and Distributed Processing
Michael Alexander
€77,38-4%
€80,24
Piegāde 3-4 ned.
Rigorous Methods for Software Construction and Analysis
Jean-Raymond Abrial
€55,55-4%
€57,74
Piegāde 3-4 ned.
Runtime Verification
Turkey) RV (Conference) (3rd 2012 Istanbul
€55,55-4%
€57,74
Piegāde 3-4 ned.
Teamwork in Multi-Agent Systems
Barbara Dunin-Kȩplicz
€97,94-3%
€101,44
Piegāde 3-4 ned.
Descriptional Complexity of Formal Systems
Jeffrey Shallit
€55,55-4%
€57,74
Piegāde 3-4 ned.
Formal Methods
Jean-Louis Boulanger
€169,48-3%
€175,19
Piegāde 3-4 ned.
Way of Z
Jonathan Jacky
€72,54-4%
€75,25
Piegāde 3-4 ned.
Modeling in Event-B
Jean-Raymond Abrial
€154,99-3%
€160,25
Piegāde 3-4 ned.
Formal Methods in Human-Computer Interaction
Michael Harrison
€55,56-4%
€57,75
Piegāde 3-4 ned.
Formal Methods for Industrial Critical Systems
Stefania Gnesi
€100,37-3%
€103,94
Piegāde 3-4 ned.