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

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods and Software Engineering Shaoying Liu
Kod Libristo: 01570773
Wydawnictwo Springer, Berlin, listopad 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Cały opis
? points 141 b
Gwarancja
najlepszej
ceny ▸
252.77 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Programmieren Lernen Peter Pepper / Książka Miękka
common.buy 204.49 zł
Grenzen, Nähe, Respekt Jesper Juul / Książka Miękka
common.buy 51.14 zł
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Książka Miękka
common.buy 366.75 zł
Herrschaft Susanne Held / Książka Twarda
common.buy 102.29 zł
Richterrecht und Verfassung. Jörn Ipsen / Książka Miękka
common.buy 285.57 zł
matrimonio nel diritto ebraico Daniele Zaccheddu / Książka Miękka
common.buy 141.55 zł

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

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 Shaoying Liu, Tom Maibaum, Keijiro Araki
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 397
EAN 9783540881933
ISBN 354088193X
Kod Libristo 01570773
Wydawnictwo Springer, Berlin
Waga 635
Wymiary 155 x 235 x 21

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) > Matematyczna teoria obliczeń
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ć

NUMIFORM 2010 Frederic Barlat / Książka Miękka
common.buy 2 140.29 zł
Essay Towards an Easy and Useful System of Logic Robert Blakey / Książka Twarda
common.buy 140.93 zł
Zapowiedź
Measuring the Early Modern and Modern Chinese Economy Ziang Liu / Książka Twarda
common.buy 781.69 zł
TOP
Kimi ni Todoke: From Me to You: Soulmate, Vol. 3 Karuho Shiina / Książka Miękka
common.buy 42.22 zł
Giorgio Strehler Directs Carlo Goldoni Scott Malia / E-book Adobe ePub DRM
common.buy 496.01 zł
Horror Before It Was Cool Weasel Press / Książka Miękka
common.buy 36.48 zł
Lives Of Scottish Authors (1801) David Irving / Książka Miękka
common.buy 104.13 zł
Developing a Champion's Heart: Leadership Lessons from the Life of David Brian Rezendes / Książka Miękka
common.buy 36.99 zł
Ruins of Fate Jamie a Waters / Książka Twarda
common.buy 68.36 zł
Diana Carew Colonel Bridges / Książka Miękka
common.buy 119.82 zł
Embracing and Educating the Autistic Child Nicholas D. Young / Książka Miękka
common.buy 146.67 zł
Hive to Honey Julie Knutson / Książka Miękka
common.buy 58.11 zł
I Love You God Amal Ishraim / Książka Miękka
common.buy 41.81 zł
Three Lakes Alan Tulppo / Książka Twarda
common.buy 106.49 zł
Orienting Polymers J.-L. Ericksen / Książka Miękka
common.buy 112.54 zł
Microelectronics Education Ton J. Mouthaan / Książka Twarda
common.buy 403.45 zł
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Książka Miękka
common.buy 604.56 zł
Yacoubian Building Alaa Al Aswany / Książka Miękka
common.buy 46.73 zł
So Far, So Goude Jean-Paul Goude / Książka Twarda
common.buy 483.61 zł
Body Image Breakthrough Jaci Wightman / Książka Miękka
common.buy 54.22 zł
The Garden Crew (We Read Phonics - Level 6) Sindy McKay / Książka Miękka
common.buy 27.05 zł
Film Business: A Handbook for Producers Tom Jeffrey / Książka Miękka
common.buy 139.40 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?