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
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.
Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

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.27 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Warhammer: Zabíječ bestií (2. vydání) William King / Knjiga Meki uvez
common.buy 12.16 €
Das perfekte Buch für Stadtkinder Emil Meier / Knjiga Meki uvez
common.buy 11.65 €
Jo-Jo Sprachbuch - Allgemeine Ausgabe 2024 - 4. Schuljahr Sandra Meeh / Knjiga Meki uvez
common.buy 11.25 €
Efeito da temperatura elevada na argamassa de cimento que incorpora cinza de lagoa Pramod Patil / Knjiga Meki uvez
common.buy 31.87 €
Kita-Räume gestalten Margit Franz / Igra/Igračka Igra
common.buy 52.28 €
Aroma Carel / Audio Audio CD
common.buy 17.08 €
Dedans, dehors et autres situations godon i. Knjiga Tvrdi uvez
common.buy 9.34 €
Empoderamento das Mulheres na Paisagem Rural Local de Bangladesh Rajib Chandra Das / Knjiga Meki uvez
common.buy 53.08 €
Ravenhall Academy 1: Verborgene Magie Julia Kuhn / Knjiga Meki uvez
common.buy 14.37 €
Du hast mich voll erwischt Anna Bell / Knjiga Meki uvez
common.buy 11.65 €
Top
Dan Young Nebezpečí odjinud Jaroslav Velinský / Knjiga Meki uvez
common.buy 7.63 €
Jugendhilfeforschung Wassilios Baros / Knjiga Meki uvez
common.buy 46.95 €
Neuen Beteiligungs- Und Anlagemoeglichkeiten Fur Versicherungsunternehmen Nach Dem Novellierten 54a Versicherungsaufsichtsgesetz Lutz R Becker / Knjiga Meki uvez
common.buy 46.85 €
Histoire de l'Abbaye Royale de Saint-Pierre de Jumieges. Tome 2 Mabillon-J / Knjiga Meki uvez
common.buy 22.72 €
My Animal Book in Tigrigna Weledo Publications / Knjiga Meki uvez
common.buy 19.20 €
Pablo Picasso Eugenio d' Ors / Knjiga Meki uvez
common.buy 14.67 €
Reflexions Sur L'Economie Politique (1773) Pietro Verri / Knjiga Meki uvez
common.buy 36.19 €
Personalmarketing 2.0. Chancen und Risiken von Social-Media-Instrumenten im Rekrutierungsprozess Karina Herrmann / Knjiga Meki uvez
common.buy 16.98 €
Collected Works in Ordered Structures and Mathematical Logic Paulo Ribenboim / Knjiga Tvrdi uvez
common.buy 102.35 €
Reedifica los muros Loren Vangalder / Knjiga Meki uvez
common.buy 10.75 €
Dejvid I Dzeko: Bog Mrava (Serbian Latin Edition) David Downie / Knjiga Meki uvez
common.buy 14.67 €
Chinese Butterfly, 2 Audio-CDs Chick Corea / Audio Audio CD
common.buy 24.93 €
JEREMIAH HERMANN HUPPEN / Knjiga Tvrdi uvez
common.buy 28.25 €
MR AL REVÈS ROGER HARGREAVES / Knjiga Tvrdi uvez
common.buy 4.72 €

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 109.80 €
Noche De Reyes The Night Of Kings? Manuel a Melendez / Knjiga Meki uvez
common.buy 7.63 €
Mr. Okra Sells Fresh Fruits and Vegetables Lashon Daley / Knjiga Meki uvez
common.buy 15.88 €
Gaudi's Mosaics Gaudi's Mosaics Canvas Bag Paperblanks / Knjiga Meki uvez
common.buy 20.50 €
Don't Judge a Lizard by His Scales Dan Dugi / Knjiga Tvrdi uvez
common.buy 13.77 €
Can It Fly? - CD Only Bobbie Kalman / Knjiga Tvrdi uvez
common.buy 8.34 €
The Mindfulness Coloring Book - Volume Three Emma Farrarons / Knjiga Meki uvez
common.buy 8.34 €
Food And Exercise Journal Speedy Publishing LLC / Knjiga Meki uvez
common.buy 11.25 €
Computer Science and Its Applications Abdelmalek Amine / Knjiga Meki uvez
common.buy 102.35 €
Batman: The Audio Adventures Anthony Marques / Knjiga Meki uvez
common.buy 18.49 €
Violin Sonata in B Minor: Violin and Piano Herbert Howells / Knjiga Meki uvez
common.buy 41.62 €
The Stock Market Outsider: Becoming a Billionaire: Valuable, Practical Insight Philip Fanara / Knjiga Meki uvez
common.buy 14.77 €
An Outline of Law and Procedure in Representation Cases National Labor Relations Board / Knjiga Meki uvez
common.buy 36.19 €
Skulduggery Pleasant 05. Mortal Coil Derek Landy / Knjiga Meki uvez
common.buy 15.98 €
Kicking with Kennedy Brad Garrett / Knjiga Meki uvez
common.buy 8.54 €
Top
The Noma Guide to Fermentation René Redzepi / Knjiga Tvrdi uvez
common.buy 29.05 €
Jane Austen's Sanditon Janet Todd / Knjiga Tvrdi uvez
common.buy 10.95 €
Uncertainties in Numerical Weather Prediction Haraldur Olafsson / Knjiga Meki uvez
common.buy 153.24 €
tankers of Mussolini Paolo Crippa / Knjiga Meki uvez
common.buy 21.11 €
Illustrated Encyclopaedia of 'Ugly' Animals Sami Bayly / Knjiga Tvrdi uvez
common.buy 21.11 €
Fight Like a Mitchell Jennifer Foor / Knjiga Meki uvez
common.buy 8.54 €
Pripremamo
Color of Dragons Robert Anthony Salvatore / Knjiga Tvrdi uvez
common.buy 12.56 €
Don Juan: Cantos I. to V. Robert Cruikshank / Knjiga Meki uvez
common.buy 22.92 €
Agricultural Science: Principles and Practices Jessie Benson / Knjiga Tvrdi uvez
common.buy 134.53 €

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?