Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

B 2007: Formal Specification and Development in B

7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka B 2007: Formal Specification and Development in B Jacques Julliand
Kod Libristo: 01567749
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2006
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 200... Cały opis
? points 125 b
222.03 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Le Temple du coeur - Oeuvres posthumes de Saint-Martin / Książka Książka
common.buy 81.29 zł
Calidad del aire: estudio sobre la presencia de formaldehído / Książka Miękka
common.buy 214.19 zł
Twisted Lies - Stella & Christian Ana Huang / Książka Miękka
common.buy 72.95 zł
Batman DC4 Trest John Layman / Książka Miękka
common.buy 84.04 zł
Ricerca transdisciplinare in sanità pubblica Jose A. Betancourt Bethencourt / Książka Miękka
common.buy 153.24 zł
Einfach irisch Josephine Ryan / Książka Twarda
common.buy 36.93 zł
Christian Dior Megan Hess / Książka Twarda
common.buy 74.78 zł
Intégrales généralisées, intégrales dépendant d'un paramètre - L1, L2, L3, classes prépas, CAPES BOUCETTA / Książka Miękka
common.buy 93.81 zł
Lesebuch Zur Foerderung Humaner Bildung Stifter Adalbert Stifter / Książka Twarda
common.buy 572.99 zł
Schloss Bad Muskau (Puzzle) LianeM / Gra/Zabawka Gra
common.buy 147.64 zł

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa B 2007: Formal Specification and Development in B
Autor Jacques Julliand, Olga Kouchnarenko
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 297
EAN 9783540687603
ISBN 3540687602
Kod Libristo 01567749
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 482
Wymiary 154 x 18 x 17

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie internetowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

History of Galilee, 47 BCE to 1260 CE M. M. Silver / Książka Twarda
common.buy 600.16 zł
Poo in the Zoo: Merry Poopmas! Steve Smallman / Książka Miękka
common.buy 40.69 zł
Mutant Prime Karen Haber / E-book Adobe ePub DRM
common.buy 21.26 zł
Vintage Rose Flower Scrapbook Paper Pad Crafty As Ever / Książka Miękka
common.buy 46.70 zł
Studies in the Islam and Science Nexus Muzaffar Iqbal / Książka Miękka
common.buy 271.79 zł
Nutraceuticals for Aging and Anti-Aging Jayant Nemchand Lokhande / Książka Twarda
common.buy 1 143.86 zł
The Dark Prince: Kingdom of Emperia Book Two K. C. Wanamaker / Książka Miękka
common.buy 48.33 zł
Bishop Brown's Fight Anonymous / Książka Miękka
common.buy 67.15 zł
The Dolphin of Silverwax Bay Nathan Page / Książka Miękka
common.buy 32.86 zł
Creator of puzzles - Calcudoku 240 Easy Puzzles 9x9 (Volume 9) Veronika Localy / Książka Miękka
common.buy 36.72 zł
Autobiography with Letters, V1 William Lyon Phelps / Książka Miękka
common.buy 192.92 zł
Missbenj J L DOMINEK / Książka Miękka
common.buy 129.83 zł
Pediatric Colorectal and Pelvic Surgery LANE / Książka Twarda
common.buy 1 199.62 zł
Ritual Change at the End of the Maya Classic Period: A Study of Incense Burners from the Southern Lowlands Maria Dolores Tobias / Książka Miękka
common.buy 119.56 zł
Why Catholics Cannot Be Masons John Salza / Książka Miękka
common.buy 45.68 zł
Elsie on the Hudson, Book 23 Martha Finley / Książka Miękka
common.buy 67.86 zł
Alexander of Russia Henri Troyat / Książka Miękka
common.buy 54.53 zł
Left's Dirty Job W. Rand Smith / Książka Miękka
common.buy 274.23 zł
Genocide and the Geographical Imagination James A Tyner / Książka Twarda
common.buy 407.94 zł
Credit Risk Management Jirí Witzany / Książka Twarda
common.buy 495.04 zł
Tropical Rainforests Susan E. Place / Książka Miękka
common.buy 250.42 zł
Basic Writings of Nietzsche Friedrich Wilhe Nietzsche / Książka Miękka
common.buy 71.73 zł
Studying Judaism Melanie Jane Wright / Książka Twarda
common.buy 547.75 zł
Darkness, Take My Hand Dennis Lehane / Książka Miękka
common.buy 54.74 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?