wyszukanych pozycji: 28
Refinement in Z and Object-Z: Foundations and Advanced Applications
ISBN: 9781447153542 / Angielski / Twarda / 2013 / 492 str. Termin realizacji zamówienia: ok. 20 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:
390,87 zł |
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. 20 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:
195,42 zł |
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. 20 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:
195,42 zł |
Refinement: Semantics, Languages and Applications
ISBN: 9783030064976 / Angielski / Miękka / 2019 / 269 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
195,42 zł |
Refinement in Z and Object-Z: Foundations and Advanced Applications
ISBN: 9781447161677 / Angielski / Miękka / 2015 / 492 str. Termin realizacji zamówienia: ok. 20 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:
390,87 zł |
Refinement: Semantics, Languages and Applications
ISBN: 9783319927091 / Angielski / Twarda / 2018 / 269 str. Termin realizacji zamówienia: ok. 20 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:
195,42 zł |
My Goodness!: Reasonable Holiness
ISBN: 9798499166444 / Angielski / Miękka / 2021 / 150 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
42,98 zł |
East River
ISBN: 9781537603186 / Angielski / Miękka / 2016 / 320 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) 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:
68,57 zł |
Bounceback
ISBN: 9781074366995 / Angielski / Miękka / 2019 / 234 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
68,75 zł |
The Conscious Resistance Trilogy
ISBN: 9781788944823 / Angielski / Miękka / 2020 / 288 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
95,39 zł |
Shemayin: A world at peace
ISBN: 9798365450547 / Angielski / Miękka / 2022 / 120 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
44,53 zł |
First Quarter Second Down
ISBN: 9781728365848 / Angielski / Miękka / 2020 / 88 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
57,12 zł |
Quest Pandora
ISBN: 9781481734721 / Angielski / Twarda / 2013 / 264 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) "Has such a range of genres that you can't pigeon hole it into one, therefore it held my attention. The shadowy love story between the main characters', it spoke about technology from a whole new perspective. The description alone in the book allowed you to image the scenes as if you were walking through the novel with the characters."
-LaShawn CIA field operative Matthew Roger Harris, called out of his two year retirement on request of his dying stepfather's final aspiration. His stepfather, curious to find out once and for all; can scientists generate a new self-sustaining sun.... "Has such a range of genres that you can't pigeon hole it into one, therefore it held my attention. The shadowy love story between the main characters...
|
|
cena:
106,50 zł |
Masters of Fire
ISBN: 9781456750909 / Angielski / Miękka / 2011 / 248 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
64,34 zł |
The Confederate Experience Reader: Selected Documents and Essays
ISBN: 9780415978798 / Angielski / Miękka / 2007 / 540 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The Confederate Experience Reader provides students and professors with the essential materials needed to understand and appreciate the major issues confronting the Southern Republic's brief existence during the American Civil War. This anthology covers the full history of the Confederate experience including the origins of the antebellum South, the rise of southern nationalism, the 1860 election and the subsequent Secession Crisis, the military conflict, and Reconstruction. Drawing from a full range of primary writings that describe the experience of living in the Southern Republic in... The Confederate Experience Reader provides students and professors with the essential materials needed to understand and appreciate the major issue... |
|
cena:
131,12 zł |
Quest Pandora
ISBN: 9781481734745 / Angielski / Miękka / 2013 / 264 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) "Has such a range of genres that you can't pigeon hole it into one, therefore it held my attention. The shadowy love story between the main characters', it spoke about technology from a whole new perspective. The description alone in the book allowed you to image the scenes as if you were walking through the novel with the characters."
-LaShawn CIA field operative Matthew Roger Harris, called out of his two year retirement on request of his dying stepfather's final aspiration. His stepfather, curious to find out once and for all; can scientists generate a new self-sustaining sun.... "Has such a range of genres that you can't pigeon hole it into one, therefore it held my attention. The shadowy love story between the main characters...
|
|
cena:
74,85 zł |
Masters of Fire
ISBN: 9781456750893 / Angielski / Twarda / 2011 / 248 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
|
cena:
112,78 zł |
The Confederate Experience Reader: Selected Documents and Essays
ISBN: 9780415978781 / Angielski / Twarda / 2007 / 540 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The Confederate Experience Reader provides students and professors with the essential materials needed to understand and appreciate the major issues confronting the Southern Republic's brief existence during the American Civil War. This anthology covers the full history of the Confederate experience including the origins of the antebellum South, the rise of southern nationalism, the 1860 election and the subsequent Secession Crisis, the military conflict, and Reconstruction. Drawing from a full range of primary writings that describe the experience of living in the Southern... The Confederate Experience Reader provides students and professors with the essential materials needed to understand and appreciate the ma... |
|
cena:
498,40 zł |
Total verrückt! Dinosaurier
ISBN: 9783831047390 / Niemiecki / Twarda / 2023 / 176 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Was Dinosaurier alles konnten! Was Dinosaurier alles konnten! |
|
cena:
77,95 zł |
Manifesto of the Free Humans
ISBN: 9781544629988 / Angielski / Miękka / 2017 / 118 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) The most neglected sector of libertarian opinion might also be the most intellectually fruitful. It was pioneered by late-19th century anarchists and elaborated on by Samuel Konkin and Karl Hess in the 1970s. The new book by Derrick Broze and John Vibes is an excellent update to this outlook that takes account of the dramatic changes of the digital age. Their view is not about politics but rather its absence, and about the astonishing capacity of the social order to manage itself in absent of top-down control. See if you find this outlook compelling. If you love liberty, I think you will. -...
The most neglected sector of libertarian opinion might also be the most intellectually fruitful. It was pioneered by late-19th century anarchists and ...
|
|
cena:
68,80 zł |