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

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods and Software Engineering Jin Song Dong
Codul Libristo: 01558768
Editura Springer, Berlin, noiembrie 2002
This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Descrierea completă
? points 263 b
571.12 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Un Regalo para el Alma 3 Jose Maria Ventura / Carte Carte broșată
common.buy 81.73 lei
La sala de lo penal MUNILLA PETREÑAS / Carte Carte broșată
common.buy 72.12 lei
Soleil d'or CLERGEOT-L / Carte Carte broșată
common.buy 144.36 lei
Diccionario de jugadores del Real Madrid ENRIQUE MARCOS / Carte Carte broșată
common.buy 152.40 lei
Juwelen aus El Moryas Schatzhaus El Morya / Carte Carte broșată
common.buy 83.08 lei
Wittgenstein et la question du livre Guest / Carte Carte broșată
common.buy 165.45 lei
Mini livre à gratter - Dinosaures Duddek / Carte Carte broșată
common.buy 66.07 lei
Aria - Tome 40 - Carnet de voyage Weyland Michel / Carte Copertă tare
common.buy 105.42 lei
Wise Man's Grandchild 12 Shunsuke Ogata / Carte Carte broșată
common.buy 36.53 lei
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg / Carte Carte broșată
common.buy 39.97 lei
Jméno-objev a zmizení věci Antonín Mokrejš / Carte Carte broșată
common.buy 51.98 lei

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

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 Jin Song Dong, Jim Woodcock
Limba engleză
Legare Carte - Carte broșată
Data publicării 2003
Număr pagini 682
EAN 9783540204619
ISBN 354020461X
Codul Libristo 01558768
Editura Springer, Berlin
Greutatea 966
Dimensiuni 155 x 235 x 35

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

Wall Jean Paul Sartre / Carte Carte broșată
common.buy 67.43 lei
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth DOESCHER IAN / Carte Copertă tare
common.buy 96.55 lei
BattleTech Legends Robert Thurston / Carte Carte broșată
common.buy 76.72 lei
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century Yukio Matsudo / Carte Carte broșată
common.buy 96.97 lei
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion Wo95/2795/1 / Carte Carte broșată
common.buy 132.98 lei
Bird House Libby Walden / Carte Cărți pliante
common.buy 66.49 lei
The Higher Power of Lucky Susan Patron / Carte Carte broșată
common.buy 38.93 lei
Women and Leadership Around the World Cynthia Cherrey / Carte Carte broșată
common.buy 341.25 lei
Learner-Centered Classroom Practices and Assessments Barbara L. McCombs / Carte Copertă tare
common.buy 395.84 lei
Diabetic Retinopathy - A Guide for Diabetes Care Teams William D. Alexander / Carte Carte broșată
common.buy 298.23 lei
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r) Lynda Rollason / Carte Copertă tare
common.buy 790.02 lei
How We Know Harry Binswanger / Carte Copertă tare
common.buy 216.50 lei
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher Holly Harper / Carte Carte broșată
common.buy 56.47 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