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

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
223.38 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

La Morale Anarchiste Petr Alekseevich Kropotkine / Książka Miękka
common.buy 50.77 zł
Het obstipatie formularium A.J.P.M. Smout / Książka Miękka
common.buy 102.57 zł
NUEVA NOVELA PR AUTOR PROVISIONAL / Książka Twarda
common.buy 95.81 zł
Tout le DEAS en QCM/QROC - IFAS - Diplôme État Aide-soignant - 2023-2024 Hayat Abbadi / Książka Miękka
common.buy 90.39 zł
Expressionismus Bahr / Książka Miękka
common.buy 66.43 zł
TOP
Kraniosakrální terapie Velká kniha Thomas Attlee / Książka Książka
common.buy 110.25 zł
Diriger et gérer l'entreprise : dossiers et questions Koubi / Książka Miękka
common.buy 105.95 zł
Propagation des singularites des solutions d'equations pseudo-differentielles a caracteristiques de multiplicites variables Richard Lascar / Książka Miękka
common.buy 156.52 zł
Sinn der Liebe Wladimir Solov'ev / Książka Twarda
common.buy 138.51 zł
OEffentliche Verwaltung in Brasilien Und Deutschland Katrin Möltgen-Sicking / Książka Miękka
common.buy 291.76 zł
Ratsburgerschaft und Residenz Christian Schmitz / Książka Twarda
common.buy 686.53 zł
R alisation d''une Commande Num rique Et Identification Par RNA Aimad Ahriche / Książka Miękka
common.buy 150.79 zł
Les Anomalies Chromosomiques Et Leurs Cons quences Sur La Reproduction Katia Julian / Książka Miękka
common.buy 265.86 zł
Enthaubttung dess Weltberuhmten Wohlredners Ciceronis Joseph Anton Stranitzky / Książka Miękka
common.buy 39.10 zł
Zapowiedź
Cr?pes & Galettes Hervé Kerourédan / Książka Twarda
common.buy 44.52 zł
Englischsprachige Shakespeareparodien Des 20. Jahrhunderts Amrei Wiencek / Książka Miękka
common.buy 208.84 zł
Romeo Et Juliette Au Village (Ed.1895) Gottfried Keller / Książka Miękka
common.buy 93.67 zł
Bergwercks Geschoepff, und wunderbare Eigenschafft der Metalsfruchte Georg Meyer / Książka Miękka
common.buy 85.27 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 292.17 zł
Unwrapping God's Gift of Life Cheryl Delamarter / Książka Miękka
common.buy 109.02 zł
Functional Foods and Nutrition G. Subbulakshami / Książka Twarda
common.buy 445.84 zł
Linguistic Landscape of the Mediterranean Stefania Tufi / Książka Twarda
common.buy 583.13 zł
From Furs to Farms John Reda / Książka Twarda
common.buy 715.50 zł
United States of America Murray / Książka Twarda
common.buy 157.24 zł
Chemical News and Journal of Physical Science, Volume 3 Sir William Crookes / Książka Twarda
common.buy 185.80 zł
China and Sustainable Development in Latin America López Andres / Książka Twarda
common.buy 545.76 zł
Law of Moses Viewed in Connexion with the History and Character of the Jews Henry John Rose / Książka Twarda
common.buy 145.06 zł
Wild Kitty L T Meade / Książka Miękka
common.buy 51.59 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 53.43 zł
Stylistics and Shakespeare's Language Mireille Ravassat / Książka Miękka
common.buy 212.63 zł
Lippincott Nursing Pocket Cards Lisa Bonsall / Prasa Karty
common.buy 204.44 zł
Grammar of Ornament by Owen Jones Owen Jones / Książka Twarda
common.buy 210.48 zł
Lost in Newfoundland Michael Winsor / Książka Twarda
common.buy 99.91 zł
Multi Color Stripes: Diary Weekly Spreads January to December Shayley Stationery Books / Książka Miękka
common.buy 60.19 zł
Basic Tagalog Yolanda C. Hernandez / Książka Miękka
common.buy 65.00 zł
CSB Men of Character Bible, Revised and Updated, Forest Leathertouch, Indexed Gene A. Getz / Książka Książka
common.buy 226.96 zł
The Sad Ghost Club Colouring Book Lize Meddings / Książka Miękka
common.buy 46.67 zł
Beginning R Larry Pace / Książka Miękka
common.buy 258.90 zł
Polymer Additives Jiri E. Kresta / Książka Miękka
common.buy 252.66 zł
Nina Simone Feeling Good SATB/Piano (ARRANGER); MUSE (A / Książka Miękka
common.buy 29.27 zł
Building Within Nature Andy Wasowski / Książka Miękka
common.buy 98.78 zł
Level 3: The Swiss Family Robinson Book and MP3 Pack Johann David Wyss / Książka Twarda
common.buy 40.53 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?