Wyniki wyszukiwania:
wyszukanych pozycji: 30
 |
Refinement in Z and Object-Z: Foundations and Advanced Applications
ISBN: 9781447161677 / Angielski / Miękka / 2015 / 492 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
403,47 |
 |
Refinement: Semantics, Languages and Applications
ISBN: 9783319927091 / Angielski / Twarda / 2018 / 269 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
 |
Refinement in Z and Object-Z: Foundations and Advanced Applications
ISBN: 9781447153542 / Angielski / Twarda / 2013 / 492 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
403,47 |
 |
Refinement: Semantics, Languages and Applications
ISBN: 9783030064976 / Angielski / Miękka / 2019 / 269 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
201,72 |
 |
Odyssey of Nirvana
ISBN: 9798823017060 / Angielski / Twarda / 2023 / 108 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
181,88 |
| |
Odyssey of Nirvana
ISBN: 9798823017077 / Angielski / Miękka / 2023 / 108 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
77,27 |
 |
East River
ISBN: 9781537603186 / Angielski / Miękka / 2016 / 320 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy 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:
60,00 |
| |
My Goodness!: Reasonable Holiness
ISBN: 9798499166444 / Angielski / Miękka / 2021 / 150 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
37,60 |
 |
Bounceback
ISBN: 9781074366995 / Angielski / Miękka / 2019 / 234 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
60,15 |
 |
The Conscious Resistance Trilogy
ISBN: 9781788944823 / Angielski / Miękka / 2020 / 288 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
83,48 |
 |
Masters of Fire
ISBN: 9781456750893 / Angielski / Twarda / 2011 / 248 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
98,68 |
 |
Quest Pandora
ISBN: 9781481734721 / Angielski / Twarda / 2013 / 264 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy 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:
93,19 |
 |
The Confederate Experience Reader: Selected Documents and Essays
ISBN: 9780415978798 / Angielski / Miękka / 2007 / 540 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
121,64 |
| |
Shemayin: A world at peace
ISBN: 9798365450547 / Angielski / Miękka / 2022 / 120 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
38,97 |
 |
Quest Pandora
ISBN: 9781481734745 / Angielski / Miękka / 2013 / 264 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy 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:
65,50 |
 |
The Confederate Experience Reader: Selected Documents and Essays
ISBN: 9780415978781 / Angielski / Twarda / 2007 / 540 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
462,39 |
 |
First Quarter Second Down
ISBN: 9781728365848 / Angielski / Miękka / 2020 / 88 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
49,98 |
 |
Masters of Fire
ISBN: 9781456750909 / Angielski / Miękka / 2011 / 248 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
56,30 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
