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

Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods and Software Engineering Shengchao Qin
Kod Libristo: 01659032
Wydawnictwo Springer, Berlin, listopad 2010
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Cały opis
? points 125 b
218.69 zł
Dostępna u dostawcy Wysyłamy za 8-11 dni

30 dni na zwrot towaru

Klienci kupili także

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone / Książka Miękka
common.buy 344.97 zł
Akademia owoce Opracowanie zbiorowe / Książka Miękka
common.buy 9.11 zł
Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A / Książka Miękka
common.buy 111.04 zł
Die «andere» Familie Arbeitskreis "Repräsentationen" / Książka Twarda
common.buy 510.85 zł
Commentaria in decem Categorias Aristotelis Simplicius / Książka Twarda
common.buy 717.82 zł

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

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 Shengchao Qin, Zongyan Qiu
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 670
EAN 9783642245589
ISBN 3642245587
Kod Libristo 01659032
Wydawnictwo Springer, Berlin
Waga 1143
Wymiary 155 x 235 x 35

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
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ń
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ć

Paragraph Writing Jo Ellen Moore / Książka Miękka
common.buy 60.53 zł
Masonic Tour Guide - Volume 2 DANIEL HANTTULA / Książka Miękka
common.buy 86.08 zł
At The End Of The Day William J Epp / Książka Miękka
common.buy 81.68 zł
The Keys Are Gone: A simple critique of the English Standard Version (ESV) Dr Daniel S Haifley / Książka Miękka
common.buy 39.68 zł
TOP
Ruhnama: The Book of the Soul (Annotated Version) Saparmyrat Turkmenbasy / Książka Miękka
common.buy 43.69 zł
Vogue x Music Magazine Vogue / Książka Twarda
common.buy 255.77 zł
Jean Prouvé Jean Prouvé / Książka Twarda
common.buy 113.55 zł
Die verlore bokkie (Afrikaans) Amanda Jesperson / Książka Miękka
common.buy 25.05 zł
Classification of the Bantu Languages bound with Bantu Word Division Malcolm Guthrie / Książka Miękka
common.buy 221.79 zł
Iron Ship-Building - With Practical Illustrations John Grantham / Książka Twarda
common.buy 140.11 zł
Odes Sharon Olds / Książka Miękka
common.buy 59.12 zł
Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack Antonia Clare / Książka Miękka
common.buy 154.34 zł
Impact of the Environment on Psychiatric Disorder Hugh Freeman / Książka Twarda
common.buy 392.88 zł
Arab and Arab American Feminisms Rabab Ibrahim Abdulhadi / Książka Twarda
common.buy 150.43 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