topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 42
 |
Refinement: Semantics, Languages and Applications
ISBN: 9783030064976 / Angielski / Miękka / 2019 / 269 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
207,86 |
 |
Refinement in Z and Object-Z: Foundations and Advanced Applications
ISBN: 9781447161677 / Angielski / Miękka / 2015 / 492 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refine...
|
cena:
415,76 |
 |
Refinement: Semantics, Languages and Applications
ISBN: 9783319927091 / Angielski / Twarda / 2018 / 269 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in differ...
|
cena:
207,86 |
 |
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ISBN: 9783642308840 / Angielski / Miękka / 2012 / 378 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Contains the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.
Contains the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 201...
|
cena:
207,86 |
 |
Refinement in Z and Object-Z: Foundations and Advanced Applications
ISBN: 9781447153542 / Angielski / Twarda / 2013 / 492 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: * Data refinement and its application to Z* Generalisations of refinement that change the interface and atomicity of operations* Refinement in Object-Z* Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and...
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applic...
|
cena:
415,76 |
 |
Formal Techniques for Networked and Distributed Systems - Forte 2007: 27th Ifip Wg 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, P
ISBN: 9783540731955 / Angielski / Miękka / 2007 / 378 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The ?rst PSTV conference took place in 1981, and the ?rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d-...
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- nat...
|
cena:
207,86 |
 |
Odyssey of Nirvana
ISBN: 9798823017077 / Angielski / Miękka / 2023 / 108 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
81,31 |
 |
East River
ISBN: 9781537603186 / Angielski / Miękka / 2016 / 320 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. A page turning novel about murder, corruption and money laundering within the walls of the UN and one of its peacekeeping operations. New York City 1968 A woman enters the headquarters of the UN one morning. She walks up to the UN's director of public information, pulls out a gun and calmly blows him away. She jumps through the now shattered seventh floor window into New York's East River and disappears beneath the surface of the murky water. The only witness is a Cuban-American freelance journalist who is told that what he saw never occurred, but instead the senior official had committed...
A page turning novel about murder, corruption and money laundering within the walls of the UN and one of its peacekeeping operations. New York City 19...
|
cena:
63,13 |
 |
My Goodness!: Reasonable Holiness
ISBN: 9798499166444 / Angielski / Miękka / 2021 / 150 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
54,60 |
 |
Odyssey of Nirvana: Myths of the Tome
ISBN: 9798823059596 / Angielski / Miękka / 2026 / 98 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
121,57 |
 |
Odyssey of Nirvana: Myths of the Tome
ISBN: 9798823061551 / Angielski / Twarda / 2026 / 112 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
144,73 |
|
Odyssey of Nirvana
ISBN: 9798823017060 / Angielski / Twarda / 2023 / 108 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
191,37 |
 |
Angels in the Common: A battle for hope
ISBN: 9798270381271 / Angielski / Miękka / 2025 / 238 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
56,88 |
 |
Odyssey of Nirvana: Myths of the Tome
ISBN: 9798823061544 / Angielski / Miękka / 2026 / 112 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
56,26 |
 |
Odyssey of Nirvana: Myths of the Tome
ISBN: 9798823059602 / Angielski / Twarda / 2026 / 98 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
175,61 |
 |
Bounceback
ISBN: 9781074366995 / Angielski / Miękka / 2019 / 234 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
63,29 |
 |
Britain Must Lead: Race Codes, Reparatory Justice, and the Global Duty of the United Kingdom
ISBN: 9798264714726 / Angielski / Miękka / 2025 / 126 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
26,26 |
 |
Codex of Middle Earth: Race, Myth, and Surveillance in Tolkien and the West
ISBN: 9798265394644 / Angielski / Miękka / 2025 / 148 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
110,75 |
 |
Banks Value Goods: How Banking, Religion, and Society Shape Our World
ISBN: 9798263515959 / Angielski / Miękka / 2025 / 218 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
159,44 |
 |
Blackness, Insurance Risk, and the Hidden Race Tax: An IC3CSI Investigation
ISBN: 9798265141347 / Angielski / Miękka / 2025 / 110 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
85,33 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
