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

Software Engineering and Formal Methods

9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Software Engineering and Formal Methods Gilles Barthe
Kod Libristo: 01659065
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, październik 2011
This book constitutes the refereed proceedings of the 9th International Conference on Software Engin... Cały opis
? points 138 b
249.40 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 3-6 dni

Nawet do 30 dni na zwrot

Klienci kupili także

ROMANCE DE L'AVENT - UN C?UR POUR NOËL Sophie JOMAIN / Książka Książka
common.buy 99.96 zł
Die Löwen von Onur Sandra Gernt / Książka Miękka
common.buy 70.27 zł
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Książka Miękka
common.buy 194.27 zł
TENEBRIS Michaela Brnková / Książka Miękka
common.buy 59.97 zł
TOP
Ako funguje hasičské auto? Lara Bryan / Książka Leporelo
common.buy 40.78 zł
ET SI CR ROSE / Książka Miękka
common.buy 38.26 zł
Metrum macht Laune! Hans-Peter Tiemann / Książka Miękka
common.buy 80.37 zł
Lullaby of the Dawn 1 Anne Klink / Książka Miękka
common.buy 36.14 zł
El ocaso de occidente Luis Saez Rueda / E-book Adobe ePub DRM
common.buy 62.90 zł
Doll Tamara Alekhina / E-book Adobe ePub DRM
common.buy 10.80 zł
Islamisches Recht in Theorie und Praxis Khalfaoui Mouez Khalfaoui / E-book Adobe ePub DRM
common.buy 154.89 zł
TOP
Jak myšák Felix zachránil Vánoce Alex T. Smith / Książka Twarda
common.buy 51.49 zł
A morte anda descalça Abel Carvajal / Książka Miękka
common.buy 58.35 zł
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Książka Miękka
common.buy 13.52 zł
21 La magie de l'ignorance Sam Tunda / Książka Miękka
common.buy 80.97 zł
Programa de técnicas de trabajo intelectual. Cuaderno 2 Pilar Alonso Díez / Książka Miękka
common.buy 48.46 zł
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Książka Miękka
common.buy 352.38 zł
El ojo del espíritu : una visión integral para un mundo que está enloqueciendo poco a poco Ken Wilber / Książka Miękka
common.buy 144.39 zł
Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen / Książka Twarda
common.buy 52.40 zł
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Książka Miękka
common.buy 40.26 zł
Quellen zur Metallverarbeitung im Nordischen Kreis der Bronzezeit Detlef Jantzen / Książka Twarda
common.buy 859.90 zł
A Flower Book (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd / Książka Miękka
common.buy 167.31 zł
Ausgewahlte Schriften Heinrich Von Kleist / Książka Miękka
common.buy 95.61 zł
Kirchliche Hochschulen Ulrich Rhode / Książka Twarda
common.buy 206.18 zł

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. §The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

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 Software Engineering and Formal Methods
Autor Gilles Barthe, Alberto Pardo, Gerardo Schneider
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 504
EAN 9783642246890
ISBN 3642246893
Kod Libristo 01659065
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 777
Wymiary 155 x 235 x 30

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
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) > Informatyka (nauka) > Sztuczna inteligencja
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ć

Modern Theory of Crystal Growth I A.A. Chernov / Książka Miękka
common.buy 425.70 zł
The House of Barbary Isabelle Schuler / Książka Miękka
common.buy 65.22 zł
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Książka Miękka
common.buy 67.44 zł
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Książka Miękka
common.buy 43.21 zł
Business Model Innovation DANIELA ANDREINI / Książka Miękka
common.buy 510.63 zł
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Książka Miękka
common.buy 86.53 zł
Loud House #10 The Loud House Creative Team / Książka Twarda
common.buy 54.75 zł
Blood Trail: Written In Stone Book 2 David Rhodes / Książka Miękka
common.buy 66.53 zł
Compassionate Commitment JAMES FARWELL / Książka Miękka
common.buy 57.44 zł
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Książka Twarda
common.buy 163.17 zł
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Książka Miękka
common.buy 42.30 zł
Janus Conspiracy MICHAEL DAVIES / Książka Miękka
common.buy 80.97 zł
Siberia: The History of Russia's Most Notorious Territory and Home of the Soviet Gulags Charles River Editors / Książka Miękka
common.buy 50.98 zł
To all Those with Aberrant Brains!: The Complete Works of Freidrich Nietzche Friedrich Nietzche / Książka Miękka
common.buy 46.24 zł
Resurrection Of A Dying Breed Abdul Damal Chappell / Książka Miękka
common.buy 66.53 zł
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Książka Miękka
common.buy 15.14 zł
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Książka Twarda
common.buy 720.45 zł
Educational Measurement for Applied Researchers Margaret Wu / Książka Twarda
common.buy 595.55 zł
Framing the War. The Use of Metaphors in US Political Discourse Simon Brandl / Książka Miękka
common.buy 63.10 zł
Leo Calder and Lucile Hacking Calder's Letters: 1953-1956 Marie Calder Ricks / Książka Miękka
common.buy 66.53 zł
Positive School Leadership Joseph F. Murphy / Książka Miękka
common.buy 200.93 zł
The All American Cookbook: 50 Recipes for 50 States - A Culinary Road Trip Around the USA Daniel Humphreys / Książka Miękka
common.buy 58.35 zł
Paul, the apostle of Jesus Christ, his life and work, his epistles and his doctrine. A contribution to the critical history of primitive Christianity Ferdinand Christian Baur / Książka Miękka
common.buy 113.69 zł
TOP
Confessions of a Recovering Engineer - Transportation for a Strong Town Charles L. Marohn Jr. / Książka Twarda
common.buy 90.67 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?