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.

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Integrated Formal Methods Eerke A. Boiten
Codul Libristo: 01559229
Editura Springer, Berlin, noiembrie 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Descrierea completă
? points 132 b
285.34 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Rettungswege mit Konzept Josef Mayr / Carte Carte broșată
common.buy 567.78 lei
MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio Audio CD
common.buy 99.03 lei
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Carte Carte broșată
common.buy 91.85 lei
Hitlers Rache Friedrich-Wilhelm von Hase / E-book Adobe ePub DRM
common.buy 57.62 lei
Miraculous-X-mas Box-Hörspiele / Audio Audio CD
common.buy 79.26 lei
Telemedizin Karolina Budych / E-book Adobe ePub DRM
common.buy 150.10 lei
Lukittu Unkuri / Audiobook MP3
common.buy 50.86 lei
200 MOTELS (2 CD) Frank Zappa / Audio Audio CD
common.buy 65.01 lei
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Carte Carte broșată
common.buy 267.97 lei
Prípad Caravaggio Daniel Silva / Carte Copertă tare
common.buy 76.66 lei
Simulieren Und Entscheiden Michael Resch / Carte Carte broșată
common.buy 293.15 lei
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Carte Carte broșată
common.buy 156.14 lei
Kde mŕtvi žijú a nemí hovoria Michal Eliáš / Carte Copertă tare
common.buy 49.20 lei
Equilibra tus chakras con cristales: Energía y curación CARMEN DE LA TORRE PEÑA / Carte Carte broșată
common.buy 152.29 lei
Streichquartett Nr. 1 Isang Yun / Carte Foaie
common.buy 343.39 lei
Psychiatrie Wolfgang Frank / Carte Carte broșată
common.buy 278.17 lei
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Carte Carte broșată
common.buy 341.21 lei
Totschlager Emil (Ü: Franz Blei) Zola / Carte Carte broșată
common.buy 99.65 lei

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

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 Integrated Formal Methods
Autor Eerke A. Boiten, John Derrick, Graeme Smith
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 548
EAN 9783540213772
ISBN 3540213775
Codul Libristo 01559229
Editura Springer, Berlin
Greutatea 820
Dimensiuni 156 x 234 x 28

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

Key to kid: How I was able to realize my dream ..? Nothim Assange / Carte Carte broșată
common.buy 156.14 lei
Memories That Smell like Gasoline David Wojnarowicz / E-book Adobe ePub DRM
common.buy 91.64 lei
Coastal Motor Boats Martin Kelly / Carte Copertă tare
common.buy 235.30 lei
Top
Better Than the Movies Lynn Painter / Carte Carte broșată
common.buy 46.18 lei
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Carte Copertă tare
common.buy 1 060.88 lei
AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Carte Carte broșată
common.buy 80.41 lei
Moroccan Cookbook: Traditional Moroccan Recipes Made Easy Grizzly Publishing / Carte Carte broșată
common.buy 87.89 lei
Underestimated HENRY D SOKOLSKI / Carte Carte broșată
common.buy 105.06 lei
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Carte Carte broșată
common.buy 444.09 lei
Welsh Calendar Cookbook Gilli Davies / Carte Carte broșată
common.buy 53.46 lei
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Carte Copertă tare
common.buy 1 319.29 lei
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Carte Carte broșată
common.buy 269.01 lei
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Carte Copertă tare
common.buy 1 775.36 lei
Anatomy of High Performing Teams Marilyn Laiken / Carte Carte broșată
common.buy 231.14 lei
Replacement of Renal Function by Dialysis C. Jacobs / Carte Copertă tare
common.buy 605.23 lei
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Carte Carte broșată
common.buy 63.45 lei
Terror in Ireland David Fitzpatrick / Carte Carte broșată
common.buy 108.28 lei
New York Yankees Matt Christopher / Carte Carte broșată
common.buy 55.23 lei
Color Atlas of Thyroid Surgery Youn / Carte Copertă tare
common.buy 724.03 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?