phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr
Stimați clienți, din cauza zilei de sărbătoare, asistența pentru clienți nu este disponibilă astăzi. Ne vom ocupa de solicitările dumneavoastră în următoarea zi lucrătoare. Vă mulțumim pentru înțelegere.

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

Limba englezăengleză
Carte Carte broșată
Carte FME '97 Industrial Applications and Strengthened Foundations of Formal Methods John Fitzgerald
Codul Libristo: 05274760
Editura Springer, Berlin, noiembrie 1996
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal... Descrierea completă
? points 318 b
632 lei
În depozitul extern în cantități mici Expediem în 12-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Karteikarten-Box zum Lehrwerk Harald Weisshaar / Joc
common.buy 95 lei
Tempting the Gods Tanith Lee / Copertă tare
common.buy 170 lei
Lawyers' Skills Webb / Carte broșată
common.buy 330 lei
Auf schmalen Pfaden durchs Hinterland Matsuo Basho / Copertă tare
common.buy 115 lei
Stories, Theories and Things Christine Brooke-Rose / Copertă tare
common.buy 670 lei
Greenland's Icy Fury Wallace R Hansen / Copertă tare
common.buy 281 lei
Digitale Rechenanlagen Horst Kunsemüller / Carte broșată
common.buy 349 lei
Inductive Logic Programming Stephen Muggleton / Carte broșată
common.buy 320 lei
Finn Finnegan Darby Karchut / Carte broșată
common.buy 50 lei
First Light Rebecca Stead / Carte broșată
common.buy 40 lei
American Writers Supplement 1 Part 1 L Unger / Copertă tare
common.buy 1.121 lei
Media and Memory Joanne Garde-Hansen / Carte broșată
common.buy 179 lei
Dreiviertelmond Mona Bräuer / Blu-ray
common.buy 91 lei

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.

Informații despre carte

Titlu complet FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
Autor John Fitzgerald, Cliff B. Jones, Peter Lucas
Limba engleză
Legare Carte - Carte broșată
Data publicării 1997
Număr pagini 694
EAN 9783540635338
ISBN 3540635335
Codul Libristo 05274760
Editura Springer, Berlin
Greutatea 1057
Dimensiuni 156 x 234 x 35

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo