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 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods and Software Engineering

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods and Software Engineering Jim Davies
Kod Libristo: 01560067
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Cały opis
? points 249 b
445.89 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Książka Miękka
common.buy 229.70 zł
Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger / Książka Miękka
common.buy 229.70 zł
Listy perskie wyd. 2 Monteskiusz / Książka Miękka
common.buy 14.34 zł
350 EXERCICES - VOCABULAIRE, NIVEAU MOYEN CORRIGÉS Prouillac / Książka Miękka
common.buy 41.50 zł
TOP
Národní opruzení Karolína Meixnerová / Książka Miękka
common.buy 47.04 zł
Die Walküre Richard Wagner / Książka Miękka
common.buy 64.36 zł
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Książka Miękka
common.buy 70.10 zł
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Książka Twarda
common.buy 73.38 zł
Génius i popleta Denise Fenziová / Książka Twarda
common.buy 42.22 zł
Ben Sende Tutuklu Kaldim Güler Bilkay Aygün / Książka Miękka
common.buy 61.39 zł
Sen Ancak Sevdiginsin Serdar Özkan / Książka Miękka
common.buy 39.86 zł
První republika v barvě Pavel Pospíšil / Książka Twarda
common.buy 139.91 zł
BABADADA black-and-white, latvie?u valoda - Russkij âzyk (Latinskij bukvy), Att?lu v?rdn?ca - Ill?strirovannyj slovar? / Książka Miękka
common.buy 34.02 zł
LE GRAND VOYAGE DE LENA DOUTREMER / Książka binding.
common.buy 78.71 zł
Le Sacré en question / Książka Miękka
common.buy 183.78 zł
Les nègres ont la peau dure Bavarin / Książka Miękka
common.buy 128.84 zł
Čas na Vánoce printintin / Książka Twarda
common.buy 62.83 zł
Zeszyt dla sześciolatków czytam z lokomotywą cześć 2 l d k u s y Praca Zbiorowa Pod Red. M. Dobrowolskiej / Książka Miękka
common.buy 19.36 zł
Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w H. y. Xiao Phd / Książka Miękka
common.buy 32.89 zł
El pueblo durmiente REBECCA DAUTREMER / Książka Miękka
common.buy 117.05 zł
Zambullendonos Bartolome Sanchez Sanchez / Książka Miękka
common.buy 194.13 zł

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

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 Formal Methods and Software Engineering
Autor Jim Davies, Wolfram Schulte, Mike Barnett
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 500
EAN 9783540238416
ISBN 3540238417
Kod Libristo 01560067
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1590
Wymiary 155 x 235 x 28

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
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ć

Stressed Composite Structures Alexander G. Kolpakov / Książka Twarda
common.buy 445.89 zł
Computer Chemistry Ivar Ugi / Książka Miękka
common.buy 223.66 zł
KEEP ON SWINGING PETER DE BOER_SIMON / Książka binding.
common.buy 133.86 zł
Geosystems: Design Rules and Applications Adam Bezuijen / Książka Miękka
common.buy 414.42 zł
Notes in Time: A Samantha Townsend Adventure Lisa Briley / Książka Miękka
common.buy 33.10 zł
The Desire of Ages Mrs Ellen G White / Książka Miękka
common.buy 118.59 zł
Hydrogen Research for Spaceport and Space-Based Applications: Fuel Cell Projects National Aeronautics and Administration / Książka Miękka
common.buy 107.21 zł
A Middle East American: A Journey through Cultures MR Guy Nagib Tower / Książka Miękka
common.buy 47.55 zł
Remainders to Children as a Class. Walter Murphy / Książka Miękka
common.buy 61.18 zł
Pedigree reconstruction in commercial broodstock of Common Sole Brian Martin Babigumira / Książka Miękka
common.buy 138.99 zł
Atlas of Thyroid and Neuroendocrine Tumor Markers Luca Giovanella / Książka Twarda
common.buy 436.25 zł
Battle for Yellowstone Justin Farrell / Książka Miękka
common.buy 149.34 zł
Fluorescence Imaging and Biological Quantification Raquel Seruca / Książka Twarda
common.buy 1 441.93 zł
A MANUAL OF EXERCISES IN FOREST MENSURAT HUGO WINKENWERDER / Książka Twarda
common.buy 136.83 zł
Talking to God Thomas L Constable / Książka Miękka
common.buy 90.50 zł
Multimodal Behavior Analysis in the Wild Xavier Alameda-Pineda / E-book Adobe ePub DRM
common.buy 869.33 zł
Zapowiedź Nowość
Browser Art Daniela Hönigsberg / Książka Twarda
common.buy 421.39 zł
Advances in Anesthesia, 2025 Laurence Torsher / Książka Twarda
common.buy 733.93 zł
In Praise of Slow Carl Honore / Książka Miękka
common.buy 46.83 zł
Jingle Spells Emily Grimoire / Książka Miękka
common.buy 39.56 zł
Functional Magnetic and Spintronic Nanomaterials Igor Vladymyrskyi / Książka Twarda
common.buy 712.60 zł
Loyal Soldier, Lustful Beast (Light Novel) Saya Shirosaki / Książka Miękka
common.buy 69.39 zł
Pugilistica: The History Of British Boxing Containing Lives Of The Most Celebrated Pugilists; Volume 3 Henry Downes Miles / Książka Twarda
common.buy 173.74 zł
O-Ei-A digital 2023 - Alle drei Preisführer zum Sammelgebiet Überraschungsei erstmals digital auf USB-Stick als PDF-Version! André Feiler / Gra/Zabawka Zabawka
common.buy 154.36 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?