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 €!

Formal Methods and Software Engineering

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods and Software Engineering Karin Breitman
Libristo kod: 01655066
Nakladnici Springer, Berlin, listopad 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Cijeli opis
? points 304 b
120.75 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Pippi Longstocking Astrid Lindgren / Meki uvez
common.buy 10.66 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Meki uvez
common.buy 10.05 €
Aggressiv Flirten Michael Wiesner / Meki uvez
common.buy 14.58 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Tvrdi uvez
common.buy 37.63 €
Grenzen gestalten, Bildbar-KartenSet. Tl.2 Margit Kühne-Eisendle / List
common.buy 37.93 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Meki uvez
common.buy 66.61 €
Financial Reform in Central and Eastern Europe Zdenek Drabek / Tvrdi uvez
common.buy 185.76 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Meki uvez
common.buy 44.57 €
Grundformen der Angst Fritz Riemann / Tvrdi uvez
common.buy 21.83 €
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Tvrdi uvez
common.buy 47.79 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Meki uvez
common.buy 94.19 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Meki uvez
common.buy 27.16 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Meki uvez
common.buy 17.70 €
State Crisis in Fragile Democracies Samuel Handlin / Meki uvez
common.buy 45.78 €
Lonely Dead Michael Marshall / Meki uvez
common.buy 12.07 €

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

Informacije o knjizi

Puni naziv Formal Methods and Software Engineering
Autor Karin Breitman, Ana Cavalcanti
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 757
EAN 9783642103728
ISBN 3642103723
Libristo kod 01655066
Nakladnici Springer, Berlin
Težina 1169
Dimenzije 155 x 235 x 30

Kategorija

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 > Operating systems
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