phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Software Engineering and Formal Methods

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Software Engineering and Formal Methods Robert Hierons
Libristo kod: 02016931
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, rujan 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... Cijeli opis
? points 154 b
61.28 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Zimbabwe in Pictures Keith Hern / Meki uvez
common.buy 35.01 €
Necessary Goods Gillian Brock / Meki uvez
common.buy 69.03 €
Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / Meki uvez
common.buy 20.62 €
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Meki uvez
common.buy 119.85 €
All-American Boy Larzer Ziff / Tvrdi uvez
common.buy 23.14 €
White House is Burning Jane Sutcliffe / Tvrdi uvez
common.buy 16.59 €
PRIPREMAMO
Dirty Deeds: Dirty Angels 2 Karina Halle / Meki uvez
common.buy 10.56 €
What Works in Corrections Doris Layton MacKenzie / Tvrdi uvez
common.buy 143.80 €
Fortune like the Moon Alys Clare / Meki uvez
common.buy 11.66 €
Le Lai de Lanval Marie de France / Meki uvez
common.buy 5.93 €
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / Meki uvez
common.buy 23.54 €
L-Architectes Heinz Wirz / Meki uvez
common.buy 37.73 €

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

Informacije o knjizi

Puni naziv Software Engineering and Formal Methods
Autor Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 321
EAN 9783642405600
ISBN 3642405606
Libristo kod 02016931
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 5153
Dimenzije 155 x 235 x 19

Kategorija

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun