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

Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Język AngielskiAngielski
Książka Miękka
Książka Software Engineering and Formal Methods Carlos Canal
Kod Libristo: 09155938
Wydawnictwo Springer International Publishing AG, luty 2015
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 confe... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

La Morale Anarchiste Petr Alekseevich Kropotkine / Książka Miękka
common.buy 58.00 zł
Het obstipatie formularium A.J.P.M. Smout / Książka Miękka
common.buy 100.56 zł
NUEVA NOVELA PR AUTOR PROVISIONAL / Książka Twarda
common.buy 104.77 zł
Tout le DEAS en QCM/QROC - IFAS - Diplôme État Aide-soignant - 2023-2024 Hayat Abbadi / Książka Miękka
common.buy 89.12 zł
Expressionismus Bahr / Książka Miękka
common.buy 65.13 zł
Kraniosakrální terapie Velká kniha Thomas Attlee / Książka Książka
common.buy 114.71 zł
Diriger et gérer l'entreprise : dossiers et questions Koubi / Książka Miękka
common.buy 104.57 zł
Propagation des singularites des solutions d'equations pseudo-differentielles a caracteristiques de multiplicites variables Richard Lascar / Książka Miękka
common.buy 153.45 zł
Sinn der Liebe Wladimir Solov'ev / Książka Twarda
common.buy 135.79 zł
OEffentliche Verwaltung in Brasilien Und Deutschland Katrin Möltgen-Sicking / Książka Miękka
common.buy 286.04 zł
Ratsburgerschaft und Residenz Christian Schmitz / Książka Twarda
common.buy 673.06 zł
R alisation d''une Commande Num rique Et Identification Par RNA Aimad Ahriche / Książka Miękka
common.buy 147.83 zł
Les Anomalies Chromosomiques Et Leurs Cons quences Sur La Reproduction Katia Julian / Książka Miękka
common.buy 260.64 zł
Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky / Książka Miękka
common.buy 38.33 zł
Zapowiedź
Cr?pes & Galettes Hervé Kerourédan / Książka Twarda
common.buy 36.42 zł
Englischsprachige Shakespeareparodien Des 20. Jahrhunderts Amrei Wiencek / Książka Miękka
common.buy 204.74 zł
Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller / Książka Miękka
common.buy 102.67 zł
Bergwercks Geschoepff, und wunderbare Eigenschafft der Metalsfruchte Georg Meyer / Książka Miękka
common.buy 83.60 zł

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014, and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

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 Carlos Canal, Akram Idani
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 405
EAN 9783319152004
ISBN 3319152009
Kod Libristo 09155938
Wydawnictwo Springer International Publishing AG
Waga 6555
Wymiary 155 x 235 x 10

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) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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ć

Oxford Phonics World: Level 1: Teacher's Pack with Classroom Presentation Tool 1 / Książka Miękka
common.buy 286.44 zł
Unwrapping God's Gift of Life Cheryl Delamarter / Książka Miękka
common.buy 106.88 zł
Functional Foods and Nutrition G. Subbulakshami / Książka Twarda
common.buy 437.09 zł
Linguistic Landscape of the Mediterranean Stefania Tufi / Książka Twarda
common.buy 571.99 zł
From Furs to Farms John Reda / Książka Twarda
common.buy 701.46 zł
United States of America Murray / Książka Twarda
common.buy 154.16 zł
Chemical News and Journal of Physical Science, Volume 3 Sir William Crookes / Książka Twarda
common.buy 182.16 zł
China and Sustainable Development in Latin America López Andres / Książka Twarda
common.buy 535.05 zł
Law of Moses Viewed in Connexion with the History and Character of the Jews Henry John Rose / Książka Twarda
common.buy 142.21 zł
Wild Kitty L T Meade / Książka Miękka
common.buy 50.57 zł
Shih Tzu, Shih Tzu training a: Think Like a Dog, But Don't Eat Your Poop!: Shih Tzu Breed Expert Training, Here's EXACLTY How to Train Yuor Shih Tzu Paul Allen Pearce / Książka Miękka
common.buy 52.38 zł
Stylistics and Shakespeare's Language Mireille Ravassat / Książka Miękka
common.buy 208.45 zł
Grammar of Ornament by Owen Jones Owen Jones / Książka Twarda
common.buy 206.35 zł
Lost in Newfoundland Michael Winsor / Książka Twarda
common.buy 114.71 zł
Multi Color Stripes: Diary Weekly Spreads January to December Shayley Stationery Books / Książka Miękka
common.buy 59.01 zł
Basic Tagalog Yolanda C. Hernandez / Książka Miękka
common.buy 63.72 zł
CSB Men of Character Bible, Revised and Updated, Forest Leathertouch, Indexed Gene A. Getz / Książka Książka
common.buy 259.94 zł
The Sad Ghost Club Colouring Book Lize Meddings / Książka Miękka
common.buy 45.86 zł
Beginning R Larry Pace / Książka Miękka
common.buy 253.82 zł
Polymer Additives Jiri E. Kresta / Książka Miękka
common.buy 218.99 zł
Nina Simone Feeling Good SATB/Piano (ARRANGER); MUSE (A / Książka Miękka
common.buy 29.40 zł
Building Within Nature Andy Wasowski / Książka Miękka
common.buy 96.84 zł
Level 3: The Swiss Family Robinson Book and MP3 Pack Johann David Wyss / Książka Twarda
common.buy 43.95 zł
Assessing the Hypoxia Threat in U.S. Coastal Waters Steve Frederickson / Książka Twarda
common.buy 1 036.59 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?