Formālās metodes (datorzinātne)

Formal Methods for Industrial Critical Systems

Izpārdošana

Formal Methods for Industrial Critical Systems

Pārdevējs:
Stefania Gnesi

Parastā cena €99,37

Akcijas cena €99,37 Parastā cena €102,44
Vienības cena izmantojot

Izpārdošana
Formal Methods in Human-Computer Interaction

Izpārdošana

Formal Methods in Human-Computer Interaction

Pārdevējs:
Michael Harrison

Parastā cena €54,56

Akcijas cena €54,56 Parastā cena €56,25
Vienības cena izmantojot

Izpārdošana
Descriptional Complexity of Formal Systems

Izpārdošana

Descriptional Complexity of Formal Systems

Pārdevējs:
Jeffrey Shallit

Parastā cena €54,55

Akcijas cena €54,55 Parastā cena €56,24
Vienības cena izmantojot

Izpārdošana
Teamwork in Multi-Agent Systems

Izpārdošana

Teamwork in Multi-Agent Systems

Pārdevējs:
Barbara Dunin-Kȩplicz

Parastā cena €96,94

Akcijas cena €96,94 Parastā cena €99,94
Vienības cena izmantojot

Izpārdošana
Runtime Verification

Izpārdošana

Runtime Verification

Pārdevējs:
Turkey) RV (Conference) (3rd 2012 Istanbul

Parastā cena €54,55

Akcijas cena €54,55 Parastā cena €56,24
Vienības cena izmantojot

Izpārdošana
Rigorous Methods for Software Construction and Analysis

Izpārdošana

Rigorous Methods for Software Construction and Analysis

Pārdevējs:
Jean-Raymond Abrial

Parastā cena €54,55

Akcijas cena €54,55 Parastā cena €56,24
Vienības cena izmantojot

Izpārdošana
Process Algebra for Parallel and Distributed Processing

Izpārdošana

Process Algebra for Parallel and Distributed Processing

Pārdevējs:
Michael Alexander

Parastā cena €76,38

Akcijas cena €76,38 Parastā cena €78,74
Vienības cena izmantojot

Izpārdošana
Practical UML Statecharts in C/C++

Izpārdošana

Practical UML Statecharts in C/C++

Pārdevējs:
Miro Samek

Parastā cena €72,74

Akcijas cena €72,74 Parastā cena €74,99
Vienības cena izmantojot

Izpārdošana
NASA Formal Methods

Izpārdošana

NASA Formal Methods

Pārdevējs:
Julia M. Badger

Parastā cena €72,74

Akcijas cena €72,74 Parastā cena €74,99
Vienības cena izmantojot

Izpārdošana
Modeling and Verification of Real-time Systems

Izpārdošana

Modeling and Verification of Real-time Systems

Pārdevējs:
Bookshop

Parastā cena €256,99

Akcijas cena €256,99 Parastā cena €264,94
Vienības cena izmantojot

Izpārdošana
Modeling in Event-B

Izpārdošana

Modeling in Event-B

Pārdevējs:
Jean-Raymond Abrial

Parastā cena €153,99

Akcijas cena €153,99 Parastā cena €158,75
Vienības cena izmantojot

Izpārdošana
Way of Z

Izpārdošana

Way of Z

Pārdevējs:
Jonathan Jacky

Parastā cena €71,54

Akcijas cena €71,54 Parastā cena €73,75
Vienības cena izmantojot

Izpārdošana