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

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga FME '97 Industrial Applications and Strengthened Foundations of Formal Methods John Fitzgerald
Libristo kod: 05274760
Nakladnici Springer, Berlin, studeni 1996
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal... Cijeli opis
? points 304 b
121.07 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

PRIPREMAMO
Kakuro for Kids 2 Alastair Chisholm / Meki uvez
common.buy 4.93 €
Karteikarten-Box zum Lehrwerk Harald Weisshaar / Igra
common.buy 19.36 €
Lawyers' Skills Webb / Meki uvez
common.buy 65.98 €
Tempting the Gods Tanith Lee / Tvrdi uvez
common.buy 32.78 €
Stories, Theories and Things Christine Brooke-Rose / Tvrdi uvez
common.buy 128.33 €
Auf schmalen Pfaden durchs Hinterland Matsuo Basho / Tvrdi uvez
common.buy 21.78 €
Digitale Rechenanlagen Horst Kunsemüller / Meki uvez
common.buy 66.78 €
Greenland's Icy Fury Wallace R Hansen / Tvrdi uvez
common.buy 56.29 €
Finn Finnegan Darby Karchut / Meki uvez
common.buy 9.27 €
Inductive Logic Programming Stephen Muggleton / Meki uvez
common.buy 61.44 €
American Writers Supplement 1 Part 1 L Unger / Tvrdi uvez
common.buy 204.71 €
Dreiviertelmond Mona Bräuer / Blu-ray
common.buy 16.74 €
First Light Rebecca Stead / Meki uvez
common.buy 9.07 €
Media and Memory Joanne Garde-Hansen / Meki uvez
common.buy 35.10 €

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

Informacije o knjizi

Puni naziv FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
Autor John Fitzgerald, Cliff B. Jones, Peter Lucas
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1997
Broj stranica 694
EAN 9783540635338
ISBN 3540635335
Libristo kod 05274760
Nakladnici Springer, Berlin
Težina 1057
Dimenzije 156 x 234 x 35

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