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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods and Software Engineering Michael Butler
Codul Libristo: 01569538
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noiembrie 2007
This book constitutes the refereed proceedings of the 9th International Conference on Formal Enginee... Descrierea completă
? points 142 b
307.30 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

LA ESPAÑA DE ABEL AURORA NACARINO-BRABO / Carte Carte broșată
common.buy 111.78 lei
Anthropozän - Klimawandel - Biodiversität Stascha Rohmer / Carte Copertă tare
common.buy 193.22 lei
Fados huérfanos / Carte Carte broșată
common.buy 108.33 lei
Kognitive Entwicklung nach Jean Piaget Sina Klar / Carte Carte broșată
common.buy 80.08 lei
Bébé Balthazar - Tout propre - Pédagogie Montessori 0/3 ans Marie-Hélène Place / Carte Carte
common.buy 54.32 lei
MUSEO CERRALBO GUIA BREVE NE / Carte Carte broșată
common.buy 24.29 lei
Analyse de fragilité d'un bâtiment isolé de la base Husain Rangwala / Carte Carte broșată
common.buy 302.08 lei
Pierwsza szopka Fulvia Degl’Innocenti / Carte Copertă tare
common.buy 29.71 lei

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

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 Formal Methods and Software Engineering
Autor Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 387
EAN 9783540766483
ISBN 3540766480
Codul Libristo 01569538
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 611
Dimensiuni 155 x 235 x 23

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

The World's Greatest Submarines David Frost / Carte Copertă tare
common.buy 148.07 lei
Louisa Wharton. A story founded on facts: written by herself, in a series of letters to a friend. ... Louisa Wharton / Carte Carte broșată
common.buy 79.03 lei
Content-Based Image and Video Retrieval Oge Marques / Carte Copertă tare
common.buy 854.96 lei
New England Conservatory Course in Sight-singing: (Solfeggio) Samuel W. (Samuel Winkley) 184 Cole / Carte Copertă tare
common.buy 174.13 lei
Taxation of Land Values in Western Canada (1914) Archibald Stalker / Carte Carte broșată
common.buy 106.35 lei
Of Ice and Shadows Audrey Coulthurst / Carte Copertă tare
common.buy 75.59 lei
Highland Fortitude Angela Polidoro / Carte Carte broșată
common.buy 72.05 lei
Report of the Committee Appointed to Examine Into the Rise, Progress, and Present State of the Society of Artists of the United States, Read April 15, George Murray / Carte Carte broșată
common.buy 66.62 lei
Disney Tunes Hal Leonard Corp / Carte Carte broșată
common.buy 66.00 lei
Tales from the New River - Cockney Sparrow Corner Tommy Kearney / Carte Carte broșată
common.buy 62.35 lei
Tribes of the Northern Territories of the Gold Coast Madeline Manoukian / Carte Copertă tare
common.buy 1 053.61 lei
Vincenzo's Reading Log Martha Day Zschock / Carte Copertă tare
common.buy 87.90 lei
Foundations of Digital Signal Processing Patrick Gaydecki / Carte Copertă tare
common.buy 556.10 lei
In Flanders Fields and Other Poems John McCrae / Carte Carte broșată
common.buy 85.50 lei
Information Security Mike Burmester / Carte Carte broșată
common.buy 321.58 lei
War Girls Adele Geras / Carte Carte broșată
common.buy 54.74 lei
Evolutionary Pathways in Nature John C Avise / Carte Carte broșată
common.buy 455.79 lei
Computer Graphics and Applications S. Y. Shin / Carte Copertă tare
common.buy 858.61 lei
Laser Modeling Mark Steven Csele / Carte Copertă tare
common.buy 1 690.96 lei
Multivariable Calculus Lawrence J. Corwin / Carte Copertă tare
common.buy 1 038.60 lei
Philosophical Moments Eric Collins / Carte Carte broșată
common.buy 59.32 lei
Quiet River's Demise Gabriel Zeldis / Carte Carte broșată
common.buy 59.32 lei
Choose Life Denice D Cook M D / Carte Carte broșată
common.buy 89.88 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