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ł.

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
247.81 zł
50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

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 103.07 zł
saga del giovane Goku. Dragon Ball full color Akira Toriyama / Książka Miękka
common.buy 39.90 zł
El ocaso de occidente Luis Saez Rueda / E-book Adobe ePub DRM
common.buy 61.92 zł
Islamisches Recht in Theorie und Praxis Khalfaoui Mouez Khalfaoui / E-book Adobe ePub DRM
common.buy 148.64 zł
Dr. Martin Luther Wilhelm Behrendt / Książka Miękka
common.buy 127.86 zł
TOP
Technika Pracovný zošit pre 6. ročník ZŠ Eleonóra Boocová / Książka Miękka
common.buy 10.17 zł
Ako funguje hasičské auto? Lara Bryan / Książka Leporelo
common.buy 48.34 zł
TENEBRIS Michaela Brnková / Książka Miękka
common.buy 59.66 zł
Die Löwen von Onur Sandra Gernt / Książka Miękka
common.buy 74.16 zł
Starken und Schwachen agiler Softwareentwicklungsmodelle Thomas Ecker / Książka Miękka
common.buy 205.22 zł
ET SI CR ROSE / Książka Miękka
common.buy 40.42 zł
Jak myšák Felix zachránil Vánoce Alex T. Smith / Książka Twarda
common.buy 56.57 zł
FITOTERAPIA NATURALE Mike Avellano / Książka Miękka
common.buy 76.12 zł
Türk Siyasetinin Yapisal Analizi 1 Hasan Bülent Kahraman / Książka Miękka
common.buy 40.01 zł
Perros detectores de cadáveres CAT WARREN / Książka Twarda
common.buy 113.25 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.32 zł
La medicina compostelana (1847-1950) AVELINO FRANCO GRANDE / Książka Miękka
common.buy 350.17 zł
Mein musikalisches Bilderbuch (Bd. 2) - Ferdinand sucht einen Freund Maria Köhnen / Książka Twarda
common.buy 55.44 zł
A Flower Book (Simplified Chinese): 10 Hanyu Pinyin with IPA Paperback Color H y Xiao Phd / Książka Miękka
common.buy 162.12 zł
Le Role de la France Au Maroc Romagny-J / Książka Miękka
common.buy 75.81 zł
Ausgewahlte Schriften Heinrich Von Kleist / Książka Miękka
common.buy 100.91 zł
Kirchliche Hochschulen Ulrich Rhode / Książka Twarda
common.buy 216.33 zł
Teoría crítico-estructuralista del Derecho mercantil Salomão Filho / Książka Miękka
common.buy 162.84 zł
LUCES Y SOMBRAS DE LA CULTURA CATÓLICA EN EL SIGLO XX Antonio Martín Puerta / Książka Miękka
common.buy 101.42 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 447.49 zł
The House of Barbary Isabelle Schuler / Książka Miękka
common.buy 69.53 zł
The Iceblade Sorcerer Shall Rule the World 6 Nana Mikoshiba / Książka Miękka
common.buy 42.17 zł
The Hymns of Hermes: Echoes from the Gnosis G R S Mead / Książka Miękka
common.buy 65.52 zł
Business Model Innovation DANIELA ANDREINI / Książka Miękka
common.buy 536.68 zł
The Decline of Politics: The Conservatives and the Party System, 1901-1920 John English / Książka Miękka
common.buy 83.83 zł
Loud House #10 The Loud House Creative Team / Książka Twarda
common.buy 54.41 zł
Compassionate Commitment JAMES FARWELL / Książka Miękka
common.buy 63.36 zł
TOP
Lucky Luke: The Complete Collection Vol. 2 Goscinny / Książka Twarda
common.buy 173.84 zł
The Secret Book: Discover the Hidden Treasures Within You Michael Kintalel / Książka Miękka
common.buy 40.93 zł
Janus Conspiracy MICHAEL DAVIES / Książka Miękka
common.buy 96.59 zł
Positive School Leadership Joseph F. Murphy / Książka Miękka
common.buy 197.51 zł
Leo Calder and Lucile Hacking Calder's Letters: 1953-1956 Marie Calder Ricks / Książka Miękka
common.buy 64.29 zł
To all Those with Aberrant Brains!: The Complete Works of Freidrich Nietzche Friedrich Nietzche / Książka Miękka
common.buy 44.84 zł
Resurrection Of A Dying Breed Abdul Damal Chappell / Książka Miękka
common.buy 64.49 zł
TOP
Cambridge English Movers 1 for Revised Exam from 2018 Answer Booklet collegium / Książka Miękka
common.buy 14.19 zł
Predictive Control for Linear and Hybrid Systems Francesco Borrelli / Książka Twarda
common.buy 705.70 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 56.78 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 109.86 zł
Confessions of a Recovering Engineer - Transportation for a Strong Town Charles L. Marohn Jr. / Książka Twarda
common.buy 87.84 zł
New Names for Lost Things Noor Unnahar / Książka Miękka
common.buy 46.90 zł
Rules and Regulations for the Guidance of Employees and Others [microform] Canadian Pacific Railway Company / Książka Miękka
common.buy 79.92 zł
TOP
Junji Ito Collection Coloring Book Junji Ito / Książka Miękka
common.buy 52.56 zł
TOP
Infernium Julie Belfield / Książka Twarda
common.buy 119.63 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