Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Integrated Formal Methods

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Integrated Formal Methods Eerke A. Boiten
Koda Libristo: 01559229
Založba Springer, Berlin, november 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Celoten opis
? points 118 b
48.89 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Simulieren Und Entscheiden Michael Resch / Knjiga Mehka
common.buy 50.21 €
Lukittu Unkuri / Zvočnica MP3
common.buy 8.49 €
Telemedizin Karolina Budych / E-knjiga Adobe ePub DRM
common.buy 25.71 €
Hitlers Rache Friedrich-Wilhelm von Hase / E-knjiga Adobe ePub DRM
common.buy 9.91 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Knjiga Mehka
common.buy 15.58 €
MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Zvok Zvočni CD
common.buy 17.30 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Knjiga Mehka
common.buy 45.35 €
Miraculous-X-mas Box-Hörspiele / Zvok Zvočni CD
common.buy 13.76 €
Psychiatrie Wolfgang Frank / Knjiga Mehka
common.buy 47.78 €
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Knjiga Mehka
common.buy 26.92 €
Streichquartett Nr. 1 Isang Yun / Knjiga Preglednica
common.buy 59.92 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Knjiga Mehka
common.buy 57.90 €
Totschlager Emil (Ü: Franz Blei) Zola / Knjiga Mehka
common.buy 16.90 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Integrated Formal Methods
Avtor Eerke A. Boiten, John Derrick, Graeme Smith
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2004
Število strani 548
EAN 9783540213772
ISBN 3540213775
Koda Libristo 01559229
Založba Springer, Berlin
Teža 820
Mere 156 x 234 x 28

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Welsh Calendar Cookbook Gilli Davies / Knjiga Mehka
common.buy 9.10 €
Memories That Smell like Gasoline David Wojnarowicz / E-knjiga Adobe ePub DRM
common.buy 15.28 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Knjiga Trda
common.buy 184.96 €
AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Knjiga Mehka
common.buy 13.76 €
Key to kid: How I was able to realize my dream ..? Nothim Assange / Knjiga Mehka
common.buy 26.92 €
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Knjiga Mehka
common.buy 75.41 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Knjiga Trda
common.buy 205.51 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Knjiga Mehka
common.buy 51.32 €
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Knjiga Trda
common.buy 308.47 €
Replacement of Renal Function by Dialysis C. Jacobs / Knjiga Trda
common.buy 105.48 €
Terror in Ireland David Fitzpatrick / Knjiga Mehka
common.buy 18.42 €
Color Atlas of Thyroid Surgery Youn / Knjiga Trda
common.buy 123.71 €
Anatomy of High Performing Teams Marilyn Laiken / Knjiga Mehka
common.buy 44.13 €
New York Yankees Matt Christopher / Knjiga Mehka
common.buy 9.41 €
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Knjiga Mehka
common.buy 11.13 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?