Formal Methods and Software Engineering von Zhiming (Hrsg.) Liu

Name: Formal Methods and Software Engineering von Zhiming (Hrsg.) Liu
SKU: 978-3-540-47460-9
Price: 169.00 CHF
Availability: InStock

8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

CHF 169.00 inkl. MwSt.

ISBN: 978-3-540-47460-9

Einband: Kartonierter Einband (Kt)

Verfügbarkeit: Lieferbar in ca. 20-45 Arbeitstagen

Menge:

+ -

Klappentext

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.

Autor	Liu, Zhiming (Hrsg.) / He, Jifeng (Hrsg.)
Einband	Kartonierter Einband (Kt)
Erscheinungsjahr	2006
Seitenangabe	792 S.
Lieferstatus	Lieferbar in ca. 20-45 Arbeitstagen
Ausgabekennzeichen	Englisch
Masse	H23.5 cm x B15.5 cm 2'420 g
Coverlag	Springer (Imprint/Brand)
Reihe	Lecture Notes in Computer Science; Programming and Software Engineering
Verlag	Springer Nature EN

Alle Bände der Reihe "Lecture Notes in Computer Science; Programming and Software Engineering"

Band 10483

Cover-Bild zu Frontiers of Combining Systems von Clare (Hrsg.) Dixon

Frontiers of Combining Systems von Clare (Hrsg.) D Springer Nature EN

Kartonierter Einband (Kt) | 2017

CHF

90.00

Band 10695

Cover-Bild zu Programming Languages and Systems von Bor-Yuh Evan (Hrsg.) Chang

Programming Languages and Systems von Bor-Yuh Evan Springer Nature EN

Kartonierter Einband (Kt) | 2017

CHF

110.00

Band 1957

Cover-Bild zu Agent-Oriented Software Engineering von Paolo (Hrsg.) Ciancarini

Agent-Oriented Software Engineering von Paolo (Hrs Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

110.00

Band 2028

Cover-Bild zu Programming Languages and Systems von David (Hrsg.) Sands

Programming Languages and Systems von David (Hrsg. Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

124.00

Band 2029

Cover-Bild zu Fundamental Approaches to Software Engineering von Heinrich (Hrsg.) Hussmann

Fundamental Approaches to Software Engineering von Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

110.00

Band 2030

Cover-Bild zu Foundations of Software Science and Computation Structures von Furio (Hrsg.) Honsell

Foundations of Software Science and Computation St Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

124.00

Band 2215

Cover-Bild zu Theoretical Aspects of Computer Software von Naoki (Hrsg.) Kobayashi

Theoretical Aspects of Computer Software von Naoki Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

135.00

Band 2290

Cover-Bild zu Software Product-Family Engineering von Frank van der (Hrsg.) Linden

Software Product-Family Engineering von Frank van Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

130.00

Band 2303

Cover-Bild zu Foundations of Software Science and Computation Structures von Mogens (Hrsg.) Nielsen

Foundations of Software Science and Computation St Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

120.00

Band 2495

Cover-Bild zu Formal Methods and Software Engineering von Chris (Hrsg.) George

Formal Methods and Software Engineering von Chris Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

158.00

Band 2618

Cover-Bild zu Programming Languages and Systems von Pierpaolo (Hrsg.) Degano

Programming Languages and Systems von Pierpaolo (H Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

124.00

Band 2620

Cover-Bild zu Foundations of Software Science and Computational Structures von Andrew D. (Hrsg.) Gordon

Foundations of Software Science and Computational Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

130.00

Band 2621

Cover-Bild zu Fundamental Approaches to Software Engineering von Mauro (Hrsg.) Pezzè

Fundamental Approaches to Software Engineering von Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

130.00

Band 2885

Cover-Bild zu Formal Methods and Software Engineering von Jin Song (Hrsg.) Dong

Formal Methods and Software Engineering von Jin So Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

153.00

Band 2932

Cover-Bild zu SOFSEM 2004: Theory and Practice of Computer Science von Peter (Hrsg.) Van Emde Boas

SOFSEM 2004: Theory and Practice of Computer Scien Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

124.00

Band 2935

Cover-Bild zu Agent-Oriented Software Engineering IV von Paolo (Hrsg.) Giorgini

Agent-Oriented Software Engineering IV von Paolo ( Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

97.00

Band 2984

Cover-Bild zu Fundamental Approaches to Software Engineering von Michel (Hrsg.) Wermelinger

Fundamental Approaches to Software Engineering von Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

120.00

Band 2986

Cover-Bild zu Programming Languages and Systems von David (Hrsg.) Schmidt

Programming Languages and Systems von David (Hrsg. Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

130.00

Band 3014

Software Product-Family Engineering von Frank van Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

147.00

Band 3147

Cover-Bild zu Integration of Software Specification Techniques for Applications in Engineering von Hartmut (Hrsg.) Ehrig

Integration of Software Specification Techniques f Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

124.00

Band 3286

Cover-Bild zu Generative Programming and Component Engineering von Gabor (Hrsg.) Karsai

Generative Programming and Component Engineering v Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

135.00

Band 3308

Cover-Bild zu Formal Methods and Software Engineering von Jim (Hrsg.) Davies

Formal Methods and Software Engineering von Jim (H Springer Nature EN

Kartonierter Einband (Kt) | 2004

CHF

147.00

Band 3393

Cover-Bild zu Formal Methods in Software and Systems Modeling von Hans-Jörg (Hrsg.) Kreowski

Formal Methods in Software and Systems Modeling vo Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

130.00

Band 3425

Cover-Bild zu Engineering Human Computer Interaction and Interactive Systems von Rémi (Hrsg.) Bastide

Engineering Human Computer Interaction and Interac Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

130.00

Band 3442

Cover-Bild zu Fundamental Approaches to Software Engineering von Maura (Hrsg.) Cerioli

Fundamental Approaches to Software Engineering von Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

110.00

Band 3489

Cover-Bild zu Component-Based Software Engineering von George (Hrsg.) Heineman

Component-Based Software Engineering von George (H Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

110.00

Band 3556

Cover-Bild zu Extreme Programming and Agile Processes in Software Engineering von Hubert (Hrsg.) Baumeister

Extreme Programming and Agile Processes in Softwar Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

110.00

Band 3586

Cover-Bild zu ECOOP 2005 - Object-Oriented Programming von Andrew (Hrsg.) Black

ECOOP 2005 - Object-Oriented Programming von Andre Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

142.00

Band 3676

Cover-Bild zu Generative Programming and Component Engineering von Robert (Hrsg.) Glück

Generative Programming and Component Engineering v Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

124.00

Band 3688

Cover-Bild zu Computer Safety, Reliability, and Security von Rune (Hrsg.) Winther

Computer Safety, Reliability, and Security von Run Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

120.00

Band 3778

Cover-Bild zu Component-Based Software Development for Embedded Systems von Colin (Hrsg.) Atkinson

Component-Based Software Development for Embedded Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

110.00

Band 3780

Cover-Bild zu Programming Languages and Systems von Kwangkeun (Hrsg.) Yi

Programming Languages and Systems von Kwangkeun (H Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

120.00

Band 3785

Cover-Bild zu Formal Methods and Software Engineering von Kung-Kiu (Hrsg.) Lau

Formal Methods and Software Engineering von Kung-K Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

135.00

Band 3945

Cover-Bild zu Functional and Logic Programming von Masami (Hrsg.) Hagiya

Functional and Logic Programming von Masami (Hrsg. Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

97.00

Band 4006

Cover-Bild zu Reliable Software Technologies -- Ada-Europe 2006 von Luís Miguel (Hrsg.) Pinho

Reliable Software Technologies -- Ada-Europe 2006 Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

97.00

Band 4039

Cover-Bild zu Reuse of Off-the-Shelf Components von Maurizio (Hrsg.) Morisio

Reuse of Off-the-Shelf Components von Maurizio (Hr Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

124.00

Band 4166

Cover-Bild zu Computer Safety, Reliability, and Security von Janusz (Hrsg.) Górski

Computer Safety, Reliability, and Security von Jan Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

130.00

Band 4171

Cover-Bild zu Verified Software: Theories, Tools, Experiments von Bertrand (Hrsg.) Meyer

Verified Software: Theories, Tools, Experiments vo Springer Nature EN

Kartonierter Einband (Kt) | 2008

CHF

147.00

Band 4260

Cover-Bild zu Formal Methods and Software Engineering von Zhiming (Hrsg.) Liu

Formal Methods and Software Engineering von Zhimin Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

169.00

Band 4348

Cover-Bild zu Ada 2005 Reference Manual. Language and Standard Libraries von S. Tucker (Hrsg.) Taft

Ada 2005 Reference Manual. Language and Standard L Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

169.00

Band 4542

Cover-Bild zu Requirements Engineering: Foundation for Software Quality von Pete (Hrsg.) Sawyer

Requirements Engineering: Foundation for Software Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

104.00

Band 4550

Cover-Bild zu Human-Computer Interaction. Interaction Design and Usability von Julie A. (Hrsg.) Jacko

Human-Computer Interaction. Interaction Design and Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

199.00

Band 4551

Cover-Bild zu Human-Computer Interaction. Interaction Platforms and Techniques von Julie A. (Hrsg.) Jacko

Human-Computer Interaction. Interaction Platforms Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

189.00

Band 4553

Cover-Bild zu Human-Computer Interaction. HCI Applications and Services von Julie A. (Hrsg.) Jacko

Human-Computer Interaction. HCI Applications and S Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

199.00

Band 4554

Cover-Bild zu Universal Acess in Human Computer Interaction. Coping with Diversity von Constantine (Hrsg.) Stephanidis

Universal Acess in Human Computer Interaction. Cop Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

199.00

Band 4556

Cover-Bild zu Universal Access in Human-Computer Interaction. Applications and Services von Constantine (Hrsg.) Stephanidis

Universal Access in Human-Computer Interaction. Ap Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

189.00

Band 4741

Cover-Bild zu Principles and Practice of Constraint Programming - CP 2007 von Christian (Hrsg.) Bessiere

Principles and Practice of Constraint Programming Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

179.00

Band 4789

Cover-Bild zu Formal Methods and Software Engineering von Michael (Hrsg.) Butler

Formal Methods and Software Engineering von Michae Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

104.00

Band 4902

Cover-Bild zu Practical Aspects of Declarative Languages von Paul (Hrsg.) Hudak

Practical Aspects of Declarative Languages von Pau Springer Nature EN

Kartonierter Einband (Kt) | 2007

CHF

97.00

Band 5235

Cover-Bild zu Generative and Transformational Techniques in Software Engineering II von Ralf (Hrsg.) Lämmel

Generative and Transformational Techniques in Soft Springer Nature EN

Kartonierter Einband (Kt) | 2008

CHF

83.00

Band 5247

Cover-Bild zu Engineering Interactive Systems 2008 von Fabio (Hrsg.) Paternò

Engineering Interactive Systems 2008 von Fabio (Hr Springer Nature EN

Kartonierter Einband (Kt) | 2008

CHF

110.00

Band 5256

Cover-Bild zu Formal Methods and Software Engineering von Shaoying (Hrsg.) Liu

Formal Methods and Software Engineering von Shaoyi Springer Nature EN

Kartonierter Einband (Kt) | 2008

CHF

120.00

Band 5292

Cover-Bild zu Software Architecture von Ronald (Hrsg.) Morrison

Software Architecture von Ronald (Hrsg.) Morrison Springer Nature EN

Kartonierter Einband (Kt) | 2008

CHF

104.00

Band 6029

Cover-Bild zu Advanced Lectures on Software Engineering von Peter (Hrsg.) Müller

Advanced Lectures on Software Engineering von Pete Springer Nature EN

Kartonierter Einband (Kt) | 2010

CHF

97.00

Band 6092

Cover-Bild zu Component-Based Software Engineering von Lars (Hrsg.) Grunske

Component-Based Software Engineering von Lars (Hrs Springer Nature EN

Kartonierter Einband (Kt) | 2010

CHF

97.00

Band 6826

Cover-Bild zu Rule-Based Reasoning, Programming, and Applications von Nick (Hrsg.) Bassiliades

Rule-Based Reasoning, Programming, and Application Springer Nature EN

Kartonierter Einband (Kt) | 2011

CHF

84.00

Band 8586

Cover-Bild zu ECOOP 2014 -- Object-Oriented Programming von Richard (Hrsg.) Jones

ECOOP 2014 -- Object-Oriented Programming von Rich Springer Nature EN

Kartonierter Einband (Kt) | 2014

CHF

124.00

Band 8767

Cover-Bild zu Model-Driven Engineering Languages and Systems von Juergen (Hrsg.) Dingel

Model-Driven Engineering Languages and Systems von Springer Nature EN

Kartonierter Einband (Kt) | 2014

CHF

121.00

Band 8998

Cover-Bild zu Software Engineering for Collective Autonomic Systems von Martin (Hrsg.) Wirsing

Software Engineering for Collective Autonomic Syst Springer Nature EN

Kartonierter Einband (Kt) | 2015

CHF

100.00

Band 9548

Cover-Bild zu Mathematical and Engineering Methods in Computer Science von Jan (Hrsg.) Kofron

Mathematical and Engineering Methods in Computer S Springer Nature EN

Kartonierter Einband (Kt) | 2016

CHF

158.00

Weitere Titel von Zhiming (Hrsg.) Liu

Cover-Bild zu Theoretical Aspects of Computing ¿ ICTAC 2022 von Helmut (Hrsg.) Seidl

Theoretical Aspects of Computing ¿ ICTAC 2022 von Springer International Publishing

Kartonierter Einband (Kt) | 2022

CHF

69.00

Cover-Bild zu Engineering Trustworthy Software Systems von Jonathan P. (Hrsg.) Bowen

Engineering Trustworthy Software Systems von Jonat Springer International Publishing

Kartonierter Einband (Kt) | 2020

CHF

69.00

Engineering Trustworthy Software Systems von Jonat Springer International Publishing

Kartonierter Einband (Kt) | 2018

CHF

69.00

Engineering Trustworthy Software Systems von Jonat Springer International Publishing

Kartonierter Einband (Kt) | 2017

CHF

69.00

Cover-Bild zu Dependable Software Engineering: Theories, Tools, and Applications von Xuandong (Hrsg.) Li

Dependable Software Engineering: Theories, Tools, Springer International Publishing

Kartonierter Einband (Kt) | 2015

CHF

67.00

Cover-Bild zu Theoretical Aspects of Computing -- ICTAC 2013 von Zhiming (Hrsg.) Liu

Theoretical Aspects of Computing -- ICTAC 2013 von Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2013

CHF

69.00

Cover-Bild zu Unifying Theories of Programming and Formal Engineering Methods von Zhiming (Hrsg.) Liu

Unifying Theories of Programming and Formal Engine Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2013

CHF

69.00

Cover-Bild zu Theories of Programming and Formal Methods von Zhiming (Hrsg.) Liu

Theories of Programming and Formal Methods von Zhi Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2013

CHF

69.00

Cover-Bild zu Web-Age Information Management von Yunjun (Hrsg.) Gao

Web-Age Information Management von Yunjun (Hrsg.) Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2013

CHF

69.00

Cover-Bild zu Automated Technology for Verification and Analysis von Anders P. (Hrsg.) Ravn

Automated Technology for Verification and Analysis Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2009

CHF

69.00

Cover-Bild zu Formal Methods and Hybrid Real-Time Systems von Cliff B. (Hrsg.) Jones

Formal Methods and Hybrid Real-Time Systems von Cl Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2007

CHF

69.00

Cover-Bild zu Theoretical Aspects of Computing - ICTAC 2007 von Cliff B. (Hrsg.) Jones

Theoretical Aspects of Computing - ICTAC 2007 von Springer Berlin Heidelberg

Kartonierter Einband (Kt) | 2007

CHF

69.00

Formal Methods and Software Engineering von Zhimin Springer Nature EN

Kartonierter Einband (Kt) | 2006

CHF

169.00

Cover-Bild zu Mathematical Frameworks for Component Software: Models for Analysis and Synthesis von Zhiming (Hrsg.) Liu

Mathematical Frameworks for Component Software: Mo World Scientific Publishing Company

Fester Einband | 2006

CHF

193.00

Cover-Bild zu Theoretical Aspects of Computing - ICTAC 2004 von Zhiming (Hrsg.) Liu

Theoretical Aspects of Computing - ICTAC 2004 von Springer Nature EN

Kartonierter Einband (Kt) | 2005

CHF

142.00