Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Applied Formal Methods - FM-Trends 98

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

Limba englezăengleză
Carte Carte broșată
Carte Applied Formal Methods - FM-Trends 98 Dieter Hutter
Codul Libristo: 01567090
Editura Springer, Berlin, noiembrie 1998
This book constitutes the thoroughly refereed post-workshop proceedings of the International Worksho... Descrierea completă
? points 132 b
285.16 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Ravenhall Academy 1: Verborgene Magie Julia Kuhn / Carte Carte broșată
common.buy 80.56 lei
Warhammer: Zabíječ bestií (2. vydání) William King / Carte Carte broșată
common.buy 67.98 lei
Empoderamento das Mulheres na Paisagem Rural Local de Bangladesh Rajib Chandra Das / Carte Carte broșată
common.buy 296.18 lei
Kita-Räume gestalten Margit Franz / Joc / Jucărie Joc
common.buy 291.60 lei
Efeito da temperatura elevada na argamassa de cimento que incorpora cinza de lagoa Pramod Patil / Carte Carte broșată
common.buy 178.18 lei
Dedans, dehors et autres situations godon i. Carte Copertă tare
common.buy 56.54 lei
Jo-Jo Sprachbuch - Allgemeine Ausgabe 2024 - 4. Schuljahr Sandra Meeh / Carte Carte broșată
common.buy 61.95 lei
Du hast mich voll erwischt Anna Bell / Carte Carte broșată
common.buy 65.59 lei
Das perfekte Buch für Stadtkinder Emil Meier / Carte Carte broșată
common.buy 65.59 lei
Personalmarketing 2.0. Chancen und Risiken von Social-Media-Instrumenten im Rekrutierungsprozess Karina Herrmann / Carte Carte broșată
common.buy 94.80 lei
Jugendhilfeforschung Wassilios Baros / Carte Carte broșată
common.buy 261.04 lei
Histoire de l'Abbaye Royale de Saint-Pierre de Jumieges. Tome 2 Mabillon-J / Carte Carte broșată
common.buy 119.55 lei
My Animal Book in Tigrigna Weledo Publications / Carte Carte broșată
common.buy 106.24 lei
Pablo Picasso Eugenio d' Ors / Carte Carte broșată
common.buy 80.98 lei
Dan Young Nebezpečí odjinud Jaroslav Velinský / Carte Carte broșată
common.buy 39.39 lei
Aroma Carel / Audio Audio CD
common.buy 98.96 lei
Collected Works in Ordered Structures and Mathematical Logic Paulo Ribenboim / Carte Copertă tare
common.buy 568.77 lei
Reedifica los muros Loren Vangalder / Carte Carte broșată
common.buy 59.35 lei
Dejvid I Dzeko: Bog Mrava (Serbian Latin Edition) David Downie / Carte Carte broșată
common.buy 81.39 lei
Chinese Butterfly, 2 Audio-CDs Chick Corea / Audio Audio CD
common.buy 137.43 lei
MR AL REVÈS ROGER HARGREAVES / Carte Copertă tare
common.buy 23.80 lei
Laber - Rynstetten Wolfgang Stammler / Carte Copertă tare
common.buy 1 130.78 lei
Reflexions Sur L'Economie Politique (1773) Pietro Verri / Carte Carte broșată
common.buy 199.60 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Applied Formal Methods - FM-Trends 98
Autor Dieter Hutter, Werner Stephan, Paolo Traverso
Limba engleză
Legare Carte - Carte broșată
Data publicării 1999
Număr pagini 384
EAN 9783540664628
ISBN 3540664629
Codul Libristo 01567090
Editura Springer, Berlin
Greutatea 564
Dimensiuni 156 x 234 x 20

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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Ar putea de asemenea, să te intereseze

Effects of Acid Precipitation on Terrestrial Ecosystems Thomas C. Hutchinson / Carte Copertă tare
common.buy 604.84 lei
An Outline of Law and Procedure in Representation Cases National Labor Relations Board / Carte Carte broșată
common.buy 200.64 lei
Getting Started with OpenBTS Michael Ledema / Carte Carte broșată
common.buy 116.64 lei
Mr. Okra Sells Fresh Fruits and Vegetables Lashon Daley / Carte Carte broșată
common.buy 80.98 lei
Top
The Murder Mystery Club Puzzle Book: A Front-page Mystery Laura Jayne Ayres / Carte Carte broșată
common.buy 57.58 lei
Skulduggery Pleasant 05. Mortal Coil Derek Landy / Carte Carte broșată
common.buy 88.36 lei
Can It Fly? - CD Only Bobbie Kalman / Carte Copertă tare
common.buy 46.98 lei
The Mindfulness Coloring Book - Volume Three Emma Farrarons / Carte Carte broșată
common.buy 46.77 lei
Computer Science and Its Applications Abdelmalek Amine / Carte Carte broșată
common.buy 568.77 lei
Violin Sonata in B Minor: Violin and Piano Herbert Howells / Carte Carte broșată
common.buy 234.42 lei
Batman: The Audio Adventures Anthony Marques / Carte Carte broșată
common.buy 100.21 lei
The Stock Market Outsider: Becoming a Billionaire: Valuable, Practical Insight Philip Fanara / Carte Carte broșată
common.buy 81.60 lei
Gaudi's Mosaics Gaudi's Mosaics Canvas Bag Paperblanks / Carte Carte broșată
common.buy 93.76 lei
Noche De Reyes The Night Of Kings? Manuel a Melendez / Carte Carte broșată
common.buy 42.20 lei
Treasure Island Robert Louis Stevenson / Carte Carte broșată
common.buy 185.77 lei
We Don't Talk about Bruno (Disney Encanto) Disney Storybook Art Team / Carte Carte broșată
common.buy 40.02 lei
Top
The Noma Guide to Fermentation René Redzepi / Carte Copertă tare
common.buy 163.42 lei
Jane Austen's Sanditon Janet Todd / Carte Copertă tare
common.buy 63.61 lei
Uncertainties in Numerical Weather Prediction Haraldur Olafsson / Carte Carte broșată
common.buy 840.42 lei
tankers of Mussolini Paolo Crippa / Carte Carte broșată
common.buy 116.95 lei
Fight Like a Mitchell Jennifer Foor / Carte Carte broșată
common.buy 46.98 lei
Don Juan: Cantos I. to V. Robert Cruikshank / Carte Carte broșată
common.buy 126.82 lei
Agricultural Science: Principles and Practices Jessie Benson / Carte Copertă tare
common.buy 747.16 lei
Curând
Color of Dragons Robert Anthony Salvatore / Carte Copertă tare
common.buy 71.00 lei

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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?