B 2007: Formal Specification and Development in B
7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science)
- Format
- 293 pagini, Paperback
- Prima publicare
- February 1, 2007
- Editori
- Springer
- Subiecte
- Internet languages·Computers·Computers·Languages·Programming·Computer books·Languages·Logic·Logic design·Programming·Software development·B method·Computers·Programming·Software development·Uml·Xml·Formal methods·Forma
- Limba
- English
Carti
USA 11 septembre 2001, le mardi noir
Jacques Dumornay
Asymptotic Theory for Structures
Jean-Jacques Marigo
To Govern Is to Serve
Jacques Dalarun
Asymptotic Theory for Structures
Jean-Jacques Marigo
Mysteries of the Far North
Jacques Privat
To Govern Is to Serve
Jacques Dalarun
Mysteries of the Far North
Jacques Privat
French Economy
Jacques Melitz
Object Relation
Jacques Lacan
Technical English 2nd Edition Level 1 Workbook
Christopher Jacques
Art and Poetry
Jacques Maritain
Time of the Landscape
Jacques Ranciere
French Economy
Jacques Melitz
Capital and Community
Jacques Camatte
Sophocles
Jacques Jouanna
Elusive Isabel
Jacques Futrelle
Laisses
Jacques PESANT
Le Livre de Guerre de la Gueule de Bois
Jacques Masson
Little Bird of Auschwitz
Jacques Peretti
Comparative Policing
Jacques de Maillard
Reading Hegel
Slavoj Zizek - Alain Badiou - Josefina Ayerza - Jacques-Alain Miller
The Confessions of Jean Jacques Rousseau
Jean Jacques Rousseau
Heaven in Disorder
Slavoj Zizek - Alain Badiou - Josefina Ayerza - Jacques-Alain Miller
Gouverneurs de la Rosée
Jacques Roumain
French Economy
Jacques Melitz
Myths of Modern History
Jacques R. Pauwels
Collection of ICC Arbitral Awards 2016-2020
Jean-Jacques Arnaldez
Industrial Arene Chemistry
Jacques Mortier
John Scotus Eriugena at Laon and Other Poems
Jacques Darras
Don't Quit- Don't Cry
Jacques Roy
Modern Times
Jacques Ranciere
Thinking Machine
Jacques Futrelle
Hegel in Seiner Zeit
Jacques D'Hondt
The Confessions of Jean Jacques Rousseau
Jean Jacques Rousseau
In Memoriam Francolino Gonçalves, O. P. (1943-2017)
Jean Jacques Pérennès
Winning by Process
Jacques Bertrand
Time of the Landscape
Jacques Ranciere
Jacques Pépin Art of the Chicken
Jacques Pépin
Pathway to Growth
Jacques Mitchell
Perjury and Pardon, Volume I
Jacques Derrida
Jean-Jacques Rousseau
Jean-Jacques Rousseau
Winning by Process
Jacques Bertrand
Essais et Portraits
Jacques -Émile Blanche
Time of the Landscape
Jacques Ranciere
Chiswick House Gardens
David Jacques
Don't Quit - Don't Cry
Jacques Roy
The Confessions of Jean Jacques Rousseau
Jean Jacques Rousseau
Thinking Critically about the Kennedy Assassination
Michel Jacques Gagné
Between Rabin and Arafat
Jacques Neriah
Apartment Kitchen Gardening
James Jacques
Party Leads All
Jacques deLisle
Violinist of Auschwitz
Jean-Jacques Felstein
Midnight in Babylon
John B. Jacques
Thinking Critically about the Kennedy Assassination
Michel Jacques Gagné
Midnight in Babylon
John B. Jacques
The Confessions of Jean Jacques Rousseau
Jean Jacques Rousseau
Chinese Communist Party in Power, 19491976
Jacques Guillermaz
Discourse on the Origin of Inequality
Jean-Jacques Rousseau
Stochastic Methods for Insurance
Jacques Janssen
Happy Shepherd
Jean-Jacques Myard
Carti asemanatoare
Building Products That Matter
Scott A. Nelson
No One Is Talking about This
Patricia Lockwood
Blogger Mentoring & SEO Strategies
J. M. Troppello
From Games to Metaverse
Yetu Yue
Role of IoT in Green Energy Systems
Vasaki Ponnusamy
But I Digress
Shirley Baechtold
Introducing Distributed Application Runtime
Radoslav Gatev
Google Cloud Cookbook
Rui Costa
ASP. NET Core 5 and Angular
Valerio de Sanctis
Digitalized Markets
Johan Hagberg
Protecting Children from Child Sexual Grooming
Jamie-Lee Mooney
Password Keeper (Blue Orbit)
Shannon Crews
From Search to Social
Mike Grehan
From Search to Social
Mike Grehan
Implementing Siebel
Vivek Kale
Thrive Online
Shannon Riggs
Harnessing the Potential of AI for Modeling 6G Networks
Moses John Strydom
Introducing Play Framework
Prem Kumar Karunakaran
Odd 1s Out
James Rallison
Digital and Social Media Marketing
Aleksej Heinze
Emerging Internet-Based Technologies
Matthew N. O. Sadiku
Modern CSS
Joe Attardi
Cocoa and . NET Development
Kevin Hoffman
Digital Banking and Cyber Security
Sarika R. Lohana
Handbook of Research on Creating Meaningful Experiences in Online Courses
Lydia Kyei-Blankson
Modern Web Performance Optimization
Shailesh Kumar Shivakumar
Introduction to Cyber Politics and Policy
Mary Manjikian
Global Demand for Borderless Online Degrees
Robert P. Hogan
Anonymous
Gregg Housh
The Internet Myth
Paolo Bory
Internet of Things
Scott J. Shackelford
B2B Digital Marketing Strategy
Ed. Simon Hall
Content to Commerce
Avi Savar
Just Google It!
Shari Thurow
Impacts of Online Advertising on Business Performance
Tereza Semerádová
Practical Ansible
Vincent Sesto
Cool Kid Online Stars
Laura Hamilton Waxman
Ultimate Guide to Facebook Advertising
Perry Marshall
Data Protection and Privacy
Ronald Leenes
IoT Architectures, Models, and Platforms for Smart City Applications
Bhawani Shankar Chowdhry
Digital Trust
Barry Connolly
Mastering Marketing Agility
Andrea Fryrear
Culture of AI
Anthony Elliott
From Cyber-Nationalism to Fandom Nationalism
Liu Hailong
Sensors, Cloud, and Fog
Sudip Misra
Webtopia
Lewis, Peter
Rehumanize Your Business
Ethan Beute
Platform Economy
Marc Steinberg
Mobile Marketing Management
Hongbing Hua
Online TV
Catherine Johnson
Culture of AI
Anthony Elliott
Small Teaching Online
Flower Darby
Cellular Internet of Things
Olof Liberg
Adaptive Middleware for the Internet of Things
Marcus Handte
Society and the Internet
Mark Graham
Digital Government
Miriam Lips