Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Applied Formal Methods - FM-Trends 98

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany. October 7-9, 1998. Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Applied Formal Methods - FM-Trends 98 Dieter Hutter
Libristo kod: 01567090
Nakladnici Springer, Berlin, studeni 1998
This book constitutes the thoroughly refereed post-workshop proceedings of the International Worksho... Cijeli opis
? points 125 b
51.78 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Ravenhall Academy 1: Verborgene Magie Julia Kuhn / Knjiga Meki uvez
common.buy 14.48 €
Warhammer: Zabíječ bestií (2. vydání) William King / Knjiga Meki uvez
common.buy 12.25 €
Empoderamento das Mulheres na Paisagem Rural Local de Bangladesh Rajib Chandra Das / Knjiga Meki uvez
common.buy 53.50 €
Kita-Räume gestalten Margit Franz / Igra/Igračka Igra
common.buy 52.69 €
Efeito da temperatura elevada na argamassa de cimento que incorpora cinza de lagoa Pramod Patil / Knjiga Meki uvez
common.buy 32.12 €
Dedans, dehors et autres situations godon i. Knjiga Tvrdi uvez
common.buy 10.23 €
Jo-Jo Sprachbuch - Allgemeine Ausgabe 2024 - 4. Schuljahr Sandra Meeh / Knjiga Meki uvez
common.buy 11.34 €
Du hast mich voll erwischt Anna Bell / Knjiga Meki uvez
common.buy 11.85 €
Das perfekte Buch für Stadtkinder Emil Meier / Knjiga Meki uvez
common.buy 11.85 €
Personalmarketing 2.0. Chancen und Risiken von Social-Media-Instrumenten im Rekrutierungsprozess Karina Herrmann / Knjiga Meki uvez
common.buy 17.12 €
Jugendhilfeforschung Wassilios Baros / Knjiga Meki uvez
common.buy 47.32 €
Histoire de l'Abbaye Royale de Saint-Pierre de Jumieges. Tome 2 Mabillon-J / Knjiga Meki uvez
common.buy 22.89 €
My Animal Book in Tigrigna Weledo Publications / Knjiga Meki uvez
common.buy 19.35 €
Pablo Picasso Eugenio d' Ors / Knjiga Meki uvez
common.buy 13.98 €
Dan Young Nebezpečí odjinud Jaroslav Velinský / Knjiga Meki uvez
common.buy 7.08 €
Aroma Carel / Audio Audio CD
common.buy 18.03 €
Collected Works in Ordered Structures and Mathematical Logic Paulo Ribenboim / Knjiga Tvrdi uvez
common.buy 103.16 €
Reedifica los muros Loren Vangalder / Knjiga Meki uvez
common.buy 10.83 €
Dejvid I Dzeko: Bog Mrava (Serbian Latin Edition) David Downie / Knjiga Meki uvez
common.buy 14.79 €
MR AL REVÈS ROGER HARGREAVES / Knjiga Tvrdi uvez
common.buy 4.25 €
Laber - Rynstetten Wolfgang Stammler / Knjiga Tvrdi uvez
common.buy 216.26 €
Reflexions Sur L'Economie Politique (1773) Pietro Verri / Knjiga Meki uvez
common.buy 36.47 €

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshopon Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Applied Formal Methods - FM-Trends 98
Autor Dieter Hutter, Werner Stephan, Paolo Traverso
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1999
Broj stranica 384
EAN 9783540664628
ISBN 3540664629
Libristo kod 01567090
Nakladnici Springer, Berlin
Težina 564
Dimenzije 156 x 234 x 20

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 > Computer science > Computer architecture & logic design
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

Moglo bi vas zanimati i

Effects of Acid Precipitation on Terrestrial Ecosystems Thomas C. Hutchinson / Knjiga Tvrdi uvez
common.buy 110.66 €
An Outline of Law and Procedure in Representation Cases National Labor Relations Board / Knjiga Meki uvez
common.buy 36.47 €
Getting Started with OpenBTS Michael Ledema / Knjiga Meki uvez
common.buy 21.27 €
Mr. Okra Sells Fresh Fruits and Vegetables Lashon Daley / Knjiga Meki uvez
common.buy 14.58 €
Top
The Murder Mystery Club Puzzle Book: A Front-page Mystery Laura Jayne Ayres / Knjiga Meki uvez
common.buy 10.83 €
Skulduggery Pleasant 05. Mortal Coil Derek Landy / Knjiga Meki uvez
common.buy 15.29 €
Can It Fly? - CD Only Bobbie Kalman / Knjiga Tvrdi uvez
common.buy 8.40 €
The Mindfulness Coloring Book - Volume Three Emma Farrarons / Knjiga Meki uvez
common.buy 8.40 €
Computer Science and Its Applications Abdelmalek Amine / Knjiga Meki uvez
common.buy 103.16 €
Violin Sonata in B Minor: Violin and Piano Herbert Howells / Knjiga Meki uvez
common.buy 42.76 €
Batman: The Audio Adventures Anthony Marques / Knjiga Meki uvez
common.buy 18.13 €
The Stock Market Outsider: Becoming a Billionaire: Valuable, Practical Insight Philip Fanara / Knjiga Meki uvez
common.buy 14.89 €
Gaudi's Mosaics Gaudi's Mosaics Canvas Bag Paperblanks / Knjiga Meki uvez
common.buy 16.81 €
Noche De Reyes The Night Of Kings? Manuel a Melendez / Knjiga Meki uvez
common.buy 7.69 €
Treasure Island Robert Louis Stevenson / Knjiga Meki uvez
common.buy 33.74 €
We Don't Talk about Bruno (Disney Encanto) Disney Storybook Art Team / Knjiga Meki uvez
common.buy 5.46 €
Top
The Noma Guide to Fermentation René Redzepi / Knjiga Tvrdi uvez
common.buy 31.31 €
Jane Austen's Sanditon Janet Todd / Knjiga Tvrdi uvez
common.buy 12.15 €
Uncertainties in Numerical Weather Prediction Haraldur Olafsson / Knjiga Meki uvez
common.buy 154.44 €
tankers of Mussolini Paolo Crippa / Knjiga Meki uvez
common.buy 21.27 €
Fight Like a Mitchell Jennifer Foor / Knjiga Meki uvez
common.buy 8.60 €
Don Juan: Cantos I. to V. Robert Cruikshank / Knjiga Meki uvez
common.buy 23.10 €
Agricultural Science: Principles and Practices Jessie Benson / Knjiga Tvrdi uvez
common.buy 135.59 €
Pripremamo
Color of Dragons Robert Anthony Salvatore / Knjiga Tvrdi uvez
common.buy 12.66 €

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
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?