wyszukanych pozycji: 80
![]() |
Formalization and Model Checking of Software Architectural Style
ISBN: 9783659682360 / Angielski / Miękka / 2015 / 80 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In this study, formal models of ATM system are described using state-based languages such as, Z, B, and Alloy as well as event-based language such as, Monterey Phoenix. Model checking is being carried out by automated tools, viz. Z/EVES, Atelier B, and Alloy Analyzer for Z, B, and Alloy specifications respectively. Furthermore, a comparative analysis of different characteristics shown by varied formal approaches has been presented. Software architecture plays an important role in the high level design of a system in terms of components, connectors, and configurations. The main building block...
In this study, formal models of ATM system are described using state-based languages such as, Z, B, and Alloy as well as event-based language such as,...
|
cena:
203,21 zł |
![]() |
Fundamentals of Metal Joining: Processes, Mechanism and Performance
ISBN: 9789811648182 / Angielski / Twarda / 2021 / 476 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
328,45 zł |
![]() |
Fundamentals of Metal Joining: Processes, Mechanism and Performance
ISBN: 9789811648212 / Angielski / Miękka / 2022 / 451 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This textbook provides fundamental understanding on technological aspects related to arc welding, heat flow, relevant metallurgical transformations, and quality assurance methodologies joints. It has been composed keeping in purview the requirements of those interested in research and development in the field of metal joining. The contents focus on the fundamentals of physics of welded joints, arc welding processes, brazing and soldering, heat flow in welding, welding metallurgy, design of welded joints, and inspection and testing of welded joints and weldability of metals. This book will be...
This textbook provides fundamental understanding on technological aspects related to arc welding, heat flow, relevant metallurgical transformations, a...
|
cena:
231,83 zł |
![]() |
Surface Engineering: Enhancing Life of Tribological Components
ISBN: 9788132239352 / Angielski / Miękka / 2018 / 224 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
328,45 zł |
![]() |
Surface Engineering: Enhancing Life of Tribological Components
ISBN: 9788132237778 / Angielski / Twarda / 2018 / 224 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
463,70 zł |
![]() |
A Comparative Characteristics of Wave & Cylindrical Journal Bearing
ISBN: 9786139963799 / Angielski / Miękka / 2018 / 64 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
203,21 zł |
![]() |
Hum Chalte Rahe Rah Banti Rahi
ISBN: 9781647606251 / Hindi / Miękka / 2019 / 332 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
111,35 zł |
![]() |
Dainik Poojan evam Hawan ke Vaidik Niyam
ISBN: 9788196942571 / Hindi Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
88,38 zł |
![]() |
India–China Conflict or Cooperation
ISBN: 9788182748040 / Angielski / Twarda / 2014 / 286 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
257,27 zł |
![]() |
68Ga-DOTATOC / DOTANOC: Synthese und Dosimetrie
ISBN: 9786202868648 / Niemiecki / Miękka / 2021 / 84 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
136,99 zł |
![]() |
Caracteristiques comparatives des paliers lisses et des paliers lisses cylindriques
ISBN: 9786205779057 / Francuski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
198,06 zł |
![]() |
Une approche novatrice des nanofluides et de ses applications
ISBN: 9786200958563 / Francuski / Miękka / 2020 / 56 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
136,99 zł |
![]() |
Een leerboek van de Farmaceutische Chemie -II
ISBN: 9786200937735 / Holenderski / Miękka / 2020 / 52 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
136,99 zł |
![]() |
An Innovative Approach of Nano-fluids and Its Application
ISBN: 9786202554046 / Angielski / Miękka / 2020 / 52 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
203,21 zł |
![]() |
68Ga-DOTATOC / DOTANOC: síntese e dosimetria
ISBN: 9786202868679 / Portugalski / Miękka / 2021 / 76 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
136,99 zł |
![]() |
Caracteristicas comparativas do Rolamento de Onda e de Jornal Cilindrico
ISBN: 9786205779033 / Portugalski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
198,06 zł |
![]() |
Een innovatieve aanpak van nanovloeistoffen en de toepassing ervan
ISBN: 9786200958853 / Holenderski / Miękka / 2020 / 56 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
136,99 zł |
![]() |
Um livro de Química Farmacêutica -II
ISBN: 9786200937766 / Portugalski / Miękka / 2020 / 52 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
136,99 zł |
![]() |
Un libro de texto de química farmacéutica -II
ISBN: 9786200937674 / Hiszpański / Miękka / 2020 / 52 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
136,99 zł |
![]() |
68Ga-DOTATOC / DOTANOC: synteza i dozymetria
ISBN: 9786202868709 / Polski / Miękka / 2021 / 80 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
136,99 zł |